ghc/compiler/tests/simplCore/simpl001.stderr

   1
   2
   3 ================================================================================
   4 Simplified:
   5 ++++{-r3h,x-}  ::
   6     _forall_
   7     [a{-auX-} b{-auY-}]
   8     =>
   9     (a{-auX-} -> (b{-auY-} -> a{-auX-}) -> b{-auY-})
  10     -> (a{-auX-} -> (b{-auY-} -> a{-auX-}) -> b{-auY-})
  11     -> a{-auX-}
  12     -> (b{-auY-} -> a{-auX-})
  13     -> b{-auY-}
  14 _A>_ 2 {-# L #-}
  15 ++++{-r3h,x-} =
  16     _/\_ a{-sE8-} b{-sE9-} -> \ x_sDl  ::
  17                                     a{-sE8-} -> (b{-sE9-} -> a{-sE8-}) -> b{-sE9-}
  18                                 {-# L #-}
  19                                 x_sDl y_sCR  ::
  20                                           a{-sE8-} -> (b{-sE9-} -> a{-sE8-}) -> b{-sE9-}
  21                                       {-# L #-}
  22                                       y_sCR ->
  23         y_sCR
  24 g{-r3j,x-}  ::
  25     _forall_
  26     [a{-avh-} b{-avi-} rk0{-avq-}]
  27     =>
  28     {PrelBase.Functor{-2b,p-} rk0{-avq-}}
  29     -> (a{-avh-} -> (b{-avi-} -> a{-avh-}) -> b{-avi-})
  30     -> rk0{-avq-} (a{-avh-} -> (b{-avi-} -> a{-avh-}) -> b{-avi-})
  31     -> rk0{-avq-} (a{-avh-} -> (b{-avi-} -> a{-avh-}) -> b{-avi-})
  32 _A>_ 3 {-# L #-}
  33 g{-r3j,x-} =
  34     _/\_ a{-sEd-} b{-sEe-} rk0{-sEf-} -> \ d.Functor_sDp  ::
  35                                                {PrelBase.Functor{-2b,p-} rk0{-sEf-}}
  36                                            {-# L #-}
  37                                            d.Functor_sDp a_sDk  ::
  38                                                              a{-sEd-}
  39                                                              -> (b{-sEe-} -> a{-sEd-})
  40                                                              -> b{-sEe-}
  41                                                          {-# L #-}
  42                                                          a_sDk xs_sDV  ::
  43                                                                    rk0{-sEf-} (a{-sEd-}
  44                                                                                -> (b{-sEe-}
  45                                                                                    -> a{-sEd-})
  46                                                                                -> b{-sEe-})
  47                                                                {-# L #-}
  48                                                                xs_sDV ->
  49         let {
  50           ds_sDr  ::
  51               (a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-})
  52               -> a{-sEd-}
  53               -> (b{-sEe-} -> a{-sEd-})
  54               -> b{-sEe-}
  55           _A>_ 1 {-# L #-}
  56           ds_sDr =
  57               \ ds_sDq  ::
  58                     a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-}
  59                 {-# L #-}
  60                 ds_sDq ->
  61                   a_sDk
  62         } in
  63           d.Functor_sDp
  64               _@_ (a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-})
  65               _@_ (a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-})
  66               ds_sDr
  67               xs_sDV
  68 h{-r3i,x-}  ::
  69     _forall_
  70     [a{-avI-} b{-avK-} rk0{-avT-}]
  71     =>
  72     {PrelBase.Functor{-2b,p-} rk0{-avT-}}
  73     -> (a{-avI-} -> (b{-avK-} -> a{-avI-}) -> b{-avK-})
  74     -> rk0{-avT-} (a{-avI-} -> (b{-avK-} -> a{-avI-}) -> b{-avK-})
  75     -> rk0{-avT-} (a{-avI-} -> (b{-avK-} -> a{-avI-}) -> b{-avK-})
  76 _A>_ 3 {-# L #-}
  77 h{-r3i,x-} =
  78     _/\_ a{-sEl-} b{-sEm-} rk0{-sEn-} -> \ d.Functor_sDZ  ::
  79                                                {PrelBase.Functor{-2b,p-} rk0{-sEn-}}
  80                                            {-# L #-}
  81                                            d.Functor_sDZ b_sEg  ::
  82                                                              a{-sEl-}
  83                                                              -> (b{-sEm-} -> a{-sEl-})
  84                                                              -> b{-sEm-}
  85                                                          {-# L #-}
  86                                                          b_sEg xs_sEh  ::
  87                                                                    rk0{-sEn-} (a{-sEl-}
  88                                                                                -> (b{-sEm-}
  89                                                                                    -> a{-sEl-})
  90                                                                                -> b{-sEm-})
  91                                                                {-# L #-}
  92                                                                xs_sEh ->
  93         let {
  94           ds_sE0  ::
  95               (a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-})
  96               -> a{-sEl-}
  97               -> (b{-sEm-} -> a{-sEl-})
  98               -> b{-sEm-}
  99           _A>_ 1 {-# L #-}
 100           ds_sE0 =
 101               \ ds_sDU  ::
 102                     a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-}
 103                 {-# L #-}
 104                 ds_sDU ->
 105                   ds_sDU
 106         } in
 107           d.Functor_sDZ
 108               _@_ (a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-})
 109               _@_ (a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-})
 110               ds_sE0
 111               xs_sEh