ghc/tests/deSugar/should_compile/ds001.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 c{-r3B,x-}  ::  _forall_ [takz] => takz
   7 {-# L #-}
   8 c{-r3B,x-} =
   9     _/\_ takz ->
  10         _letrec_ {
  11           c_akx  ::  takz
  12           {-# L #-}
  13           c_akx =
  14               c_akx;
  15         } in  c_akx
  16 h{-r3E,x-}  ::  _forall_
  17                 [talc tal8 tala]
  18                 =>
  19                 talc -> tala -> tal8 -> tala
  20 {-# L #-}
  21 h{-r3E,x-} =
  22     _/\_ talc tal8 tala ->
  23         _letrec_ {
  24           h_akB  ::  talc -> tala -> tal8 -> tala
  25           {-# L #-}
  26           h_akB =
  27               \ x_r3u  ::  talc
  28                 {-# L #-}
  29                 x_r3u y_r3v  ::  tala
  30                       {-# L #-}
  31                       y_r3v ->
  32                   let {
  33                     f_r3x  ::  _forall_ [tal4 tal6] => tal6 -> tal4 -> tal6
  34                     {-# L #-}
  35                     f_r3x =
  36                         _/\_ tal4 tal6 -> \ a_r3z  ::  tal6
  37                                             {-# L #-}
  38                                             a_r3z b_r3A  ::  tal4
  39                                                   {-# L #-}
  40                                                   b_r3A ->
  41                             a_r3z
  42                   } in  f_r3x _@_ tal8 _@_ tala y_r3v;
  43         } in  h_akB
  44 f{-r3H,x-}  ::  _forall_ [taln] => taln -> taln
  45 {-# L #-}
  46 f{-r3H,x-} =
  47     _/\_ taln ->
  48         _letrec_ {
  49           f_ale  ::  taln -> taln
  50           {-# L #-}
  51           f_ale =
  52               \ x_r3j  ::  taln
  53                 {-# L #-}
  54                 x_r3j ->
  55                   x_r3j;
  56         } in  f_ale
  57 g{-r3G,x-}  ::  _forall_
  58                 [talK talM talI]
  59                 =>
  60                 talK -> talM -> talI -> talI
  61 {-# L #-}
  62 g{-r3G,x-} =
  63     _/\_ talK talM talI ->
  64         _letrec_ {
  65           g_alp  ::  talK -> talM -> talI -> talI
  66           {-# L #-}
  67           g_alp =
  68               \ x_r3l  ::  talK
  69                 {-# L #-}
  70                 x_r3l y_r3m  ::  talM
  71                       {-# L #-}
  72                       y_r3m z_r3n  ::  talI
  73                             {-# L #-}
  74                             z_r3n ->
  75                   f{-r3H,x-} _@_ talI z_r3n;
  76         } in  g_alp
  77 j{-r3F,x-}  ::  _forall_
  78                 [tami tame tamf tamg]
  79                 =>
  80                 tamf -> tamg -> tami -> tame -> tame
  81 {-# L #-}
  82 j{-r3F,x-} =
  83     _/\_ tami tame tamf tamg ->
  84         _letrec_ {
  85           j_alO  ::  tamf -> tamg -> tami -> tame -> tame
  86           {-# L #-}
  87           j_alO =
  88               \ w_r3p  ::  tamf
  89                 {-# L #-}
  90                 w_r3p x_r3q  ::  tamg
  91                       {-# L #-}
  92                       x_r3q y_r3r  ::  tami
  93                             {-# L #-}
  94                             y_r3r z_r3s  ::  tame
  95                                   {-# L #-}
  96                                   z_r3s ->
  97                   g{-r3G,x-} _@_ tamf _@_ tamg _@_ tame w_r3p x_r3q z_r3s;
  98         } in  j_alO
  99 b{-r3C,x-}  ::  _forall_ [tamo] => tamo -> tamo
 100 {-# L #-}
 101 b{-r3C,x-} =
 102     _/\_ tamo ->
 103         _letrec_ {
 104           b_amk  ::  tamo -> tamo
 105           {-# L #-}
 106           b_amk =
 107               f{-r3H,x-} _@_ tamo;
 108         } in  b_amk
 109 a{-r3D,x-}  ::  _forall_ [tamu] => tamu -> tamu
 110 {-# L #-}
 111 a{-r3D,x-} =
 112     _/\_ tamu ->
 113         _letrec_ {
 114           a_amq  ::  tamu -> tamu
 115           {-# L #-}
 116           a_amq =
 117               b{-r3C,x-} _@_ tamu;
 118         } in  a_amq
 119 end Rec }