ghc/tests/simplCore/should_compile/simpl001.stderr

   1
   2
   3 ================================================================================
   4 Simplified:
   5 ++++{-r3h,x-}  ::  _forall_
   6                    [tark tarl]
   7                    =>
   8                    (tark -> (tarl -> tark) -> tarl)
   9                    -> (tark -> (tarl -> tark) -> tarl)
  10                    -> tark
  11                    -> (tarl -> tark)
  12                    -> tarl
  13 _A>_ 2 {-# L #-}
  14 ++++{-r3h,x-} =
  15     _/\_ $x0_tsEh $x1_tsEi -> \ $x2_sDp  ::  $x0_tsEh
  16                                              -> ($x1_tsEi -> $x0_tsEh)
  17                                              -> $x1_tsEi
  18                                 {-# L #-}
  19                                 $x2_sDp $x3_sCV  ::  $x0_tsEh -> ($x1_tsEi -> $x0_tsEh) -> $x1_tsEi
  20                                         {-# L #-}
  21                                         $x3_sCV ->
  22         $x3_sCV
  23 g{-r3i,x-}  ::  _forall_
  24                 [aarD tarO tarQ]
  25                 =>
  26                 {PrelBase.Functor{-2b,p-} aarD}
  27                 -> (tarO -> (tarQ -> tarO) -> tarQ)
  28                 -> aarD (tarO -> (tarQ -> tarO) -> tarQ)
  29                 -> aarD (tarO -> (tarQ -> tarO) -> tarQ)
  30 _A>_ 3 {-# L #-}
  31 g{-r3i,x-} =
  32     _/\_ $x0_asEl $x1_tsEj $x2_tsEk -> \ $x3_sDt  ::  {PrelBase.Functor{-2b,p-} $x0_asEl}
  33                                          {-# L #-}
  34                                          $x3_sDt $x4_sDo  ::  $x1_tsEj
  35                                                               -> ($x2_tsEk -> $x1_tsEj)
  36                                                               -> $x2_tsEk
  37                                                  {-# L #-}
  38                                                  $x4_sDo $x5_sE2  ::  $x0_asEl ($x1_tsEj
  39                                                                                 -> ($x2_tsEk
  40                                                                                     -> $x1_tsEj)
  41                                                                                 -> $x2_tsEk)
  42                                                          {-# L #-}
  43                                                          $x5_sE2 ->
  44         let {
  45           $x7_sDv  ::  ($x1_tsEj -> ($x2_tsEk -> $x1_tsEj) -> $x2_tsEk)
  46                        -> $x1_tsEj
  47                        -> ($x2_tsEk -> $x1_tsEj)
  48                        -> $x2_tsEk
  49           _A>_ 1 {-# L #-}
  50           $x7_sDv =
  51               \ $x6_sDu  ::  $x1_tsEj -> ($x2_tsEk -> $x1_tsEj) -> $x2_tsEk
  52                 {-# L #-}
  53                 $x6_sDu ->
  54                   $x4_sDo
  55         } in
  56           $x3_sDt
  57               _@_ ($x1_tsEj -> ($x2_tsEk -> $x1_tsEj) -> $x2_tsEk)
  58               _@_ ($x1_tsEj -> ($x2_tsEk -> $x1_tsEj) -> $x2_tsEk)
  59               $x7_sDv
  60               $x5_sE2
  61 h{-r3j,x-}  ::  _forall_
  62                 [aas8 task tasm]
  63                 =>
  64                 {PrelBase.Functor{-2b,p-} aas8}
  65                 -> (task -> (tasm -> task) -> tasm)
  66                 -> aas8 (task -> (tasm -> task) -> tasm)
  67                 -> aas8 (task -> (tasm -> task) -> tasm)
  68 _A>_ 3 {-# L #-}
  69 h{-r3j,x-} =
  70     _/\_ $x0_asEu $x1_tsEs $x2_tsEt -> \ $x3_sE6  ::  {PrelBase.Functor{-2b,p-} $x0_asEu}
  71                                          {-# L #-}
  72                                          $x3_sE6 $x4_sEm  ::  $x1_tsEs
  73                                                               -> ($x2_tsEt -> $x1_tsEs)
  74                                                               -> $x2_tsEt
  75                                                  {-# L #-}
  76                                                  $x4_sEm $x5_sEn  ::  $x0_asEu ($x1_tsEs
  77                                                                                 -> ($x2_tsEt
  78                                                                                     -> $x1_tsEs)
  79                                                                                 -> $x2_tsEt)
  80                                                          {-# L #-}
  81                                                          $x5_sEn ->
  82         let {
  83           $x7_sE7  ::  ($x1_tsEs -> ($x2_tsEt -> $x1_tsEs) -> $x2_tsEt)
  84                        -> $x1_tsEs
  85                        -> ($x2_tsEt -> $x1_tsEs)
  86                        -> $x2_tsEt
  87           _A>_ 1 {-# L #-}
  88           $x7_sE7 =
  89               \ $x6_sDY  ::  $x1_tsEs -> ($x2_tsEt -> $x1_tsEs) -> $x2_tsEt
  90                 {-# L #-}
  91                 $x6_sDY ->
  92                   $x6_sDY
  93         } in
  94           $x3_sE6
  95               _@_ ($x1_tsEs -> ($x2_tsEt -> $x1_tsEs) -> $x2_tsEt)
  96               _@_ ($x1_tsEs -> ($x2_tsEt -> $x1_tsEs) -> $x2_tsEt)
  97               $x7_sE7
  98               $x5_sEn