ghc/tests/simplCore/should_compile/simpl002.stderr

   1
   2
   3 ================================================================================
   4 Simplified:
   5 $g0_g0  ::  [PrelBase.Char{-38,W-}]
   6 {-# L #-}
   7 $g0_g0 =
   8     PackBase.unpackCString#{-8F,w-} "xxx"
   9 $d1{-rE0,x-}  ::  _forall_
  10                   [a_tr3g b_tr3h c_tr3i]
  11                   =>
  12                   {Foo{-r3j,x-} a_tr3g}
  13                   -> {Foo{-r3j,x-} b_tr3h}
  14                   -> {Foo{-r3j,x-} c_tr3i}
  15                   -> {Foo{-r3j,x-} (Wibble{-r3w,x-} a_tr3g b_tr3h c_tr3i)}
  16 _A>_ 3 {-# L #-}
  17 $d1{-rE0,x-} =
  18     _/\_ $x0_tsGS $x1_tsGT $x2_tsGU -> \ $x3_sGV  ::  {Foo{-r3j,x-} $x0_tsGS}
  19                                          {-# L #-}
  20                                          $x3_sGV $x4_sGW  ::  {Foo{-r3j,x-} $x1_tsGT}
  21                                                  {-# L #-}
  22                                                  $x4_sGW $x5_sGX  ::  {Foo{-r3j,x-} $x2_tsGU}
  23                                                          {-# L #-}
  24                                                          $x5_sGX ->
  25         let {
  26           $x8_sFS  ::  PrelBase.Int{-3g,W-}
  27                        -> Wibble{-r3w,x-} $x0_tsGS $x1_tsGT $x2_tsGU
  28                        -> PrelBase.Bool{-34,W-}
  29           _A>_ 2 {-# L #-}
  30           $x8_sFS =
  31               \ $x6_sH5  ::  PrelBase.Int{-3g,W-}
  32                 {-# L #-}
  33                 $x6_sH5 $x7_sH4  ::  Wibble{-r3w,x-} $x0_tsGS $x1_tsGT $x2_tsGU
  34                         {-# L #-}
  35                         $x7_sH4 ->
  36                   IOBase.error{-87,w-} _@_ PrelBase.Bool{-34,W-} $g0_g0 } in
  37         let {
  38           $x9_sGY  ::  PrelBase.Int{-3g,W-}
  39                        -> Wibble{-r3w,x-} $x0_tsGS $x1_tsGT $x2_tsGU
  40                        -> PrelBase.Bool{-34,W-}
  41           _A>_ 2 {-# L #-}
  42           $x9_sGY =
  43               $x8_sFS } in
  44         let {
  45           $xa_sGZ  ::  {Foo{-r3j,x-} (Wibble{-r3w,x-} $x0_tsGS $x1_tsGT $x2_tsGU)}
  46           _A>_ 2 {-# L #-}
  47           $xa_sGZ =
  48               $x8_sFS
  49         } in  $x8_sFS
  50 $d2{-rDV,x-}  ::  _forall_
  51                   [a_tr3r b_tr3s c_tr3t]
  52                   =>
  53                   {PrelBase.Eval{-24,p-} (Wibble{-r3w,x-} a_tr3r b_tr3s c_tr3t)}
  54 _A>_ 0 {-# L #-}
  55 $d2{-rDV,x-} =
  56     _/\_ $x0_tsH8 $x1_tsH7 $x2_tsH6 ->
  57         let {
  58           $x3_sGM  ::  {PrelBase.Eval{-24,p-} (Wibble{-r3w,x-} $x0_tsH8 $x1_tsH7 $x2_tsH6)}
  59           {-# L #-}
  60           $x3_sGM =
  61               PrelBase.void{-8G,w-}
  62         } in  PrelBase.void{-8G,w-}
  63 MkWibble{-r3y,x-}{i}  ::  _forall_
  64                           [a_tr3r b_tr3s c_tr3t]
  65                           =>
  66                           a_tr3r -> b_tr3s -> c_tr3t -> Wibble{-r3w,x-} a_tr3r b_tr3s c_tr3t
  67 _A>_ 3 {-# L #-}
  68 MkWibble{-r3y,x-}{i} =
  69     _/\_ $x0_tsH0 $x1_tsH1 $x2_tsH2 -> \ $x3_sGL  ::  $x0_tsH0
  70                                          {-# L #-}
  71                                          $x3_sGL $x4_sGK  ::  $x1_tsH1
  72                                                  {-# L #-}
  73                                                  $x4_sGK $x5_sGJ  ::  $x2_tsH2
  74                                                          {-# L #-}
  75                                                          $x5_sGJ ->
  76         MkWibble{-r3y,x-}{i}
  77             {_@_ $x0_tsH0 _@_ $x1_tsH1 _@_ $x2_tsH2 $x3_sGL $x4_sGK $x5_sGJ}
  78 op{-r3x,x-}  ::  _forall_
  79                  [a_tr3v]
  80                  =>
  81                  {Foo{-r3j,x-} a_tr3v}
  82                  -> PrelBase.Int{-3g,W-}
  83                  -> a_tr3v
  84                  -> PrelBase.Bool{-34,W-}
  85 _A>_ 1 {-# L #-}
  86 op{-r3x,x-} =
  87     _/\_ $x0_tsH3 -> \ $x1_sGI  ::  {Foo{-r3j,x-} $x0_tsH3}
  88                        {-# L #-}
  89                        $x1_sGI ->
  90         $x1_sGI