Changes between Version 4 and Version 5 of Ticket #10527, comment 17


Ignore:
Timestamp:
Jun 27, 2015 3:58:59 PM (4 years ago)
Author:
bgamari
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10527, comment 17

    v4 v5  
    22
    33{{{
    4             ApplyToVal simpl ((case xs `cast` ...
    5                                of _ [Occ=Dead] { Bug.:& @ r @ rs dt_X2fs x xs ->
    6                                case xs `cast` ...
    7                                of _ [Occ=Dead] { Bug.:& @ r @ rs dt_d2bT x xs ->
    8                                case r `cast` ... of nt_s2fs { Bug.Expr ipv ipv ->
    9                                let {
    10                                  dt_X1PT :: Bug.Rec '["field1" Bug.:-> Bug.Expr GHC.Types.Int]
    11                                  [LclId,
    12                                   Str=DmdType,
    13                                   Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
    14                                           WorkFree=True, Expandable=True,
    15                                           Guidance=IF_ARGS [] 10 30}]
    16                                  dt_X1PT =
    17                                    Bug.:&
    18                                      @ '["field1" Bug.:-> Bug.Expr GHC.Types.Int]
    19                                      @ ("field1" Bug.:-> Bug.Expr GHC.Types.Int)
    20                                      @ '[]
    21                                      @~ <'["field1" Bug.:-> Bug.Expr GHC.Types.Int]>_N
    22                                      (nt_s2fs `cast` ...)
    23                                      (xs `cast` ...) } in
    24                                (Bug.:&
    25                                   @ '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
    26                                       "field1" Bug.:-> Bug.Expr GHC.Types.Int]
    27                                   @ ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
    28                                   @ '["field1" Bug.:-> Bug.Expr GHC.Types.Int]
    29                                   @~ <'["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
    30                                         "field1" Bug.:-> Bug.Expr GHC.Types.Int]>_N
    31                                   (x `cast` ...)
    32                                   dt_X1PT)
    33                                `cast` ...
    34                                }
    35                                }
    36                                })
    37                               `cast` ...)
     4ApplyToVal simpl ((case xs `cast` ...
     5                   of _ [Occ=Dead] { Bug.:& @ r @ rs dt_X2fs x xs ->
     6                   case xs `cast` ...
     7                   of _ [Occ=Dead] { Bug.:& @ r @ rs dt_d2bT x xs ->
     8                   case r `cast` ... of nt_s2fs { Bug.Expr ipv ipv ->
     9                   let {
     10                     dt_X1PT :: Bug.Rec '["field1" Bug.:-> Bug.Expr GHC.Types.Int]
     11                     [LclId,
     12                      Str=DmdType,
     13                      Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
     14                              WorkFree=True, Expandable=True,
     15                              Guidance=IF_ARGS [] 10 30}]
     16                     dt_X1PT =
     17                       Bug.:&
     18                         @ '["field1" Bug.:-> Bug.Expr GHC.Types.Int]
     19                         @ ("field1" Bug.:-> Bug.Expr GHC.Types.Int)
     20                         @ '[]
     21                         @~ <'["field1" Bug.:-> Bug.Expr GHC.Types.Int]>_N
     22                         (nt_s2fs `cast` ...)
     23                         (xs `cast` ...) } in
     24                   (Bug.:&
     25                      @ '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
     26                          "field1" Bug.:-> Bug.Expr GHC.Types.Int]
     27                      @ ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
     28                      @ '["field1" Bug.:-> Bug.Expr GHC.Types.Int]
     29                      @~ <'["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
     30                            "field1" Bug.:-> Bug.Expr GHC.Types.Int]>_N
     31                      (x `cast` ...)
     32                      dt_X1PT)
     33                   `cast` ...
     34                   }
     35                   }
     36                   })
     37                  `cast` ...)
    3838}}}
    3939