ghc/compiler/tests/deSugar/ds001.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 c{-r3I,x-}  ::
   7     _forall_ [t{-ang-}] => t{-ang-}
   8 {-# L #-}
   9 c{-r3I,x-} =
  10     _/\_ t{-ang-} ->
  11         _letrec_ {
  12           c_ane  ::
  13               t{-ang-}
  14           {-# L #-}
  15           c_ane =
  16               c_ane;
  17         } in
  18           c_ane
  19 end Rec }
  20 h{-r3L,x-}  ::
  21     _forall_
  22     [t{-anG-} t{-anC-} t{-anE-}]
  23     =>
  24     t{-anG-} -> t{-anC-} -> t{-anE-} -> t{-anC-}
  25 {-# L #-}
  26 h{-r3L,x-} =
  27     _/\_ t{-anG-} t{-anC-} t{-anE-} -> \ x_r3z  ::
  28                                              t{-anG-}
  29                                          {-# L #-}
  30                                          x_r3z y_r3B  ::
  31                                                    t{-anC-}
  32                                                {-# L #-}
  33                                                y_r3B ->
  34         let {
  35           f_r3D  ::
  36               _forall_ [t{-any-} t{-anA-}] => t{-any-} -> t{-anA-} -> t{-any-}
  37           {-# L #-}
  38           f_r3D =
  39               _/\_ t{-any-} t{-anA-} -> \ a_r3F  ::
  40                                               t{-any-}
  41                                           {-# L #-}
  42                                           a_r3F b_r3H  ::
  43                                                     t{-anA-}
  44                                                 {-# L #-}
  45                                                 b_r3H ->
  46                   a_r3F
  47         } in
  48           f_r3D
  49               _@_ t{-anC-} _@_ t{-anE-} y_r3B
  50 f{-r3O,x-}  ::
  51     _forall_ [t{-anO-}] => t{-anO-} -> t{-anO-}
  52 {-# L #-}
  53 f{-r3O,x-} =
  54     _/\_ t{-anO-} -> \ x_r3j  ::
  55                            t{-anO-}
  56                        {-# L #-}
  57                        x_r3j ->
  58         x_r3j
  59 g{-r3N,x-}  ::
  60     _forall_
  61     [t{-anW-} t{-ao2-} t{-ao4-}]
  62     =>
  63     t{-ao2-} -> t{-ao4-} -> t{-anW-} -> t{-anW-}
  64 {-# L #-}
  65 g{-r3N,x-} =
  66     _/\_ t{-anW-} t{-ao2-} t{-ao4-} -> \ x_r3l  ::
  67                                              t{-ao2-}
  68                                          {-# L #-}
  69                                          x_r3l y_r3n  ::
  70                                                    t{-ao4-}
  71                                                {-# L #-}
  72                                                y_r3n z_r3p  ::
  73                                                          t{-anW-}
  74                                                      {-# L #-}
  75                                                      z_r3p ->
  76         f{-r3O,x-}
  77             _@_ t{-anW-} z_r3p
  78 j{-r3M,x-}  ::
  79     _forall_
  80     [t{-aoe-} t{-aoh-} t{-aoj-} t{-aoo-}]
  81     =>
  82     t{-aoe-} -> t{-aoh-} -> t{-aoo-} -> t{-aoj-} -> t{-aoj-}
  83 {-# L #-}
  84 j{-r3M,x-} =
  85     _/\_ t{-aoe-} t{-aoh-} t{-aoj-} t{-aoo-} -> \ w_r3r  ::
  86                                                       t{-aoe-}
  87                                                   {-# L #-}
  88                                                   w_r3r x_r3t  ::
  89                                                             t{-aoh-}
  90                                                         {-# L #-}
  91                                                         x_r3t y_r3v  ::
  92                                                                   t{-aoo-}
  93                                                               {-# L #-}
  94                                                               y_r3v z_r3x  ::
  95                                                                         t{-aoj-}
  96                                                                     {-# L #-}
  97                                                                     z_r3x ->
  98         g{-r3N,x-}
  99             _@_ t{-aoj-} _@_ t{-aoe-} _@_ t{-aoh-} w_r3r x_r3t z_r3x
 100 b{-r3J,x-}  ::
 101     _forall_ [t{-aou-}] => t{-aou-} -> t{-aou-}
 102 {-# L #-}
 103 b{-r3J,x-} =
 104     _/\_ t{-aou-} ->
 105         f{-r3O,x-}
 106             _@_ t{-aou-}
 107 a{-r3K,x-}  ::
 108     _forall_ [t{-aoA-}] => t{-aoA-} -> t{-aoA-}
 109 {-# L #-}
 110 a{-r3K,x-} =
 111     _/\_ t{-aoA-} ->
 112         b{-r3J,x-}
 113             _@_ t{-aoA-}