[project @ 1997-09-24 11:08:42 by simonm]

[ghc-hetmet.git] / ghc / tests / deSugar / should_compile / ds001.stderr

diff --git a/ghc/tests/deSugar/should_compile/ds001.stderr b/ghc/tests/deSugar/should_compile/ds001.stderr
index 853165b..e69de29 100644 (file)
--- a/ghc/tests/deSugar/should_compile/ds001.stderr
+++ b/ghc/tests/deSugar/should_compile/ds001.stderr
@@ -1,119 +0,0 @@
-
-
-================================================================================
-Desugared:
-Rec {
-c{-r3B,x-}  ::  _forall_ [takz] => takz
-{-# L #-}
-c{-r3B,x-} =
-    _/\_ takz ->
-       _letrec_ {
-         c_akx  ::  takz
-         {-# L #-}
-         c_akx =
-             c_akx;
-       } in  c_akx
-h{-r3E,x-}  ::  _forall_
-               [talc tal8 tala]
-               =>
-               talc -> tala -> tal8 -> tala
-{-# L #-}
-h{-r3E,x-} =
-    _/\_ talc tal8 tala ->
-       _letrec_ {
-         h_akB  ::  talc -> tala -> tal8 -> tala
-         {-# L #-}
-         h_akB =
-             \ x_r3u  ::  talc
-               {-# L #-}
-               x_r3u y_r3v  ::  tala
-                     {-# L #-}
-                     y_r3v ->
-                 let {
-                   f_r3x  ::  _forall_ [tal4 tal6] => tal6 -> tal4 -> tal6
-                   {-# L #-}
-                   f_r3x =
-                       _/\_ tal4 tal6 -> \ a_r3z  ::  tal6
-                                           {-# L #-}
-                                           a_r3z b_r3A  ::  tal4
-                                                 {-# L #-}
-                                                 b_r3A ->
-                           a_r3z
-                 } in  f_r3x _@_ tal8 _@_ tala y_r3v;
-       } in  h_akB
-f{-r3H,x-}  ::  _forall_ [taln] => taln -> taln
-{-# L #-}
-f{-r3H,x-} =
-    _/\_ taln ->
-       _letrec_ {
-         f_ale  ::  taln -> taln
-         {-# L #-}
-         f_ale =
-             \ x_r3j  ::  taln
-               {-# L #-}
-               x_r3j ->
-                 x_r3j;
-       } in  f_ale
-g{-r3G,x-}  ::  _forall_
-               [talK talM talI]
-               =>
-               talK -> talM -> talI -> talI
-{-# L #-}
-g{-r3G,x-} =
-    _/\_ talK talM talI ->
-       _letrec_ {
-         g_alp  ::  talK -> talM -> talI -> talI
-         {-# L #-}
-         g_alp =
-             \ x_r3l  ::  talK
-               {-# L #-}
-               x_r3l y_r3m  ::  talM
-                     {-# L #-}
-                     y_r3m z_r3n  ::  talI
-                           {-# L #-}
-                           z_r3n ->
-                 f{-r3H,x-} _@_ talI z_r3n;
-       } in  g_alp
-j{-r3F,x-}  ::  _forall_
-               [tami tame tamf tamg]
-               =>
-               tamf -> tamg -> tami -> tame -> tame
-{-# L #-}
-j{-r3F,x-} =
-    _/\_ tami tame tamf tamg ->
-       _letrec_ {
-         j_alO  ::  tamf -> tamg -> tami -> tame -> tame
-         {-# L #-}
-         j_alO =
-             \ w_r3p  ::  tamf
-               {-# L #-}
-               w_r3p x_r3q  ::  tamg
-                     {-# L #-}
-                     x_r3q y_r3r  ::  tami
-                           {-# L #-}
-                           y_r3r z_r3s  ::  tame
-                                 {-# L #-}
-                                 z_r3s ->
-                 g{-r3G,x-} _@_ tamf _@_ tamg _@_ tame w_r3p x_r3q z_r3s;
-       } in  j_alO
-b{-r3C,x-}  ::  _forall_ [tamo] => tamo -> tamo
-{-# L #-}
-b{-r3C,x-} =
-    _/\_ tamo ->
-       _letrec_ {
-         b_amk  ::  tamo -> tamo
-         {-# L #-}
-         b_amk =
-             f{-r3H,x-} _@_ tamo;
-       } in  b_amk
-a{-r3D,x-}  ::  _forall_ [tamu] => tamu -> tamu
-{-# L #-}
-a{-r3D,x-} =
-    _/\_ tamu ->
-       _letrec_ {
-         a_amq  ::  tamu -> tamu
-         {-# L #-}
-         a_amq =
-             b{-r3C,x-} _@_ tamu;
-       } in  a_amq
-end Rec }