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

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

diff --git a/ghc/tests/deSugar/should_compile/ds024.stderr b/ghc/tests/deSugar/should_compile/ds024.stderr
index 77bca55..e69de29 100644 (file)
--- a/ghc/tests/deSugar/should_compile/ds024.stderr
+++ b/ghc/tests/deSugar/should_compile/ds024.stderr
@@ -1,72 +0,0 @@
-
-
-================================================================================
-Desugared:
-Rec {
-g{-r3h,x-}  ::  _forall_
-               [tayq tayk taym tayo]
-               =>
-               tayq -> ([tayk], [taym], [tayo])
-{-# L #-}
-g{-r3h,x-} =
-    _/\_ tayq tayk taym tayo ->
-       _letrec_ {
-         g_ay5  ::  tayq -> ([tayk], [taym], [tayo])
-         {-# L #-}
-         g_ay5 =
-             \ x_r3g  ::  tayq
-               {-# L #-}
-               x_r3g ->
-                 let {
-                   ds_dAP  ::  [tayk]
-                   {-# L #-}
-                   ds_dAP =
-                       PrelBase.[]{-5i,w-}{i} _@_ tayk } in
-                 let {
-                   ds_dAT  ::  [taym]
-                   {-# L #-}
-                   ds_dAT =
-                       PrelBase.[]{-5i,w-}{i} _@_ taym } in
-                 let {
-                   ds_dAX  ::  [tayo]
-                   {-# L #-}
-                   ds_dAX =
-                       PrelBase.[]{-5i,w-}{i} _@_ tayo
-                 } in 
-                   PrelTup.(,,){-63,w-}{i}
-                       {_@_ [tayk] _@_ [taym] _@_ [tayo] ds_dAP ds_dAT ds_dAX};
-       } in  g_ay5
-f{-r3i,x-}  ::  _forall_ [tayH tayF] => tayH -> [[tayF]]
-{-# L #-}
-f{-r3i,x-} =
-    _/\_ tayH tayF ->
-       _letrec_ {
-         f_ays  ::  tayH -> [[tayF]]
-         {-# L #-}
-         f_ays =
-             \ x_r3e  ::  tayH
-               {-# L #-}
-               x_r3e ->
-                 let {
-                   ds_dBF  ::  [tayF]
-                   {-# L #-}
-                   ds_dBF =
-                       PrelBase.[]{-5i,w-}{i} _@_ tayF } in
-                 let { ds_dBJ  ::  [[tayF]]
-                       {-# L #-}
-                       ds_dBJ =
-                   let {
-                     ds_dBZ  ::  [tayF]
-                     {-# L #-}
-                     ds_dBZ =
-                         PrelBase.[]{-5i,w-}{i} _@_ tayF } in
-                   let {
-                     ds_dC3  ::  [[tayF]]
-                     {-# L #-}
-                     ds_dC3 =
-                         PrelBase.[]{-5i,w-}{i} {_@_ [tayF]}
-                   } in  PrelBase.:{-55,w-}{i} {_@_ [tayF] ds_dBZ ds_dC3}
-                 } in
-                 PrelBase.:{-55,w-}{i} {_@_ [tayF] ds_dBF ds_dBJ};
-       } in  f_ays
-end Rec }