[project @ 1997-05-26 05:58:06 by sof]

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

diff --git a/ghc/compiler/tests/deSugar/ds024.stderr b/ghc/compiler/tests/deSugar/ds024.stderr
index cb012f9..b377760 100644 (file)
--- a/ghc/compiler/tests/deSugar/ds024.stderr
+++ b/ghc/compiler/tests/deSugar/ds024.stderr
@@ -1,10 +1,78 @@
-Desugared:
-Main.f :: for all d, e. d -> [[e]]
-Main.f =
-    /\ o79 t81 -> \ x.88 ->
-       :! [t81] (Nil! t81) (:! [t81] (Nil! t81) (Nil! [t81]))
-Main.g :: for all d, e, f, g. d -> ([e], [f], [g])
-Main.g =
-    /\ o84 t85 t86 t87 -> \ x.89 ->
-       MkTuple3! [t85] [t86] [t87] (Nil! t85) (Nil! t86) (Nil! t87)
 
+
+================================================================================
+Desugared:
+g{-r3h,x-}  :: 
+    _forall_
+    [t{-aAR-} t{-aAL-} t{-aAN-} t{-aAP-}]
+    =>
+    t{-aAR-} -> ([t{-aAL-}], [t{-aAN-}], [t{-aAP-}])
+{-# L #-}
+g{-r3h,x-} =
+    _/\_ t{-aAR-} t{-aAL-} t{-aAN-} t{-aAP-} -> \ x_r3g  :: 
+                                                     t{-aAR-}
+                                                 {-# L #-}
+                                                 x_r3g ->
+       let {
+         ds_dD1  :: 
+             [t{-aAL-}]
+         {-# L #-}
+         ds_dD1 =
+             PrelBase.[]{-5i,p-}{i}
+                 _@_ t{-aAL-} } in
+       let {
+         ds_dD5  :: 
+             [t{-aAN-}]
+         {-# L #-}
+         ds_dD5 =
+             PrelBase.[]{-5i,p-}{i}
+                 _@_ t{-aAN-} } in
+       let {
+         ds_dD9  :: 
+             [t{-aAP-}]
+         {-# L #-}
+         ds_dD9 =
+             PrelBase.[]{-5i,p-}{i}
+                 _@_ t{-aAP-}
+       } in 
+         PrelTup.(,,){-63,p-}{i}
+             {_@_ [t{-aAL-}] _@_ [t{-aAN-}] _@_ [t{-aAP-}] ds_dD1 ds_dD5 ds_dD9}
+f{-r3i,x-}  :: 
+    _forall_ [t{-aAZ-} t{-aB3-}] => t{-aB3-} -> [[t{-aAZ-}]]
+{-# L #-}
+f{-r3i,x-} =
+    _/\_ t{-aAZ-} t{-aB3-} -> \ x_r3e  :: 
+                                   t{-aB3-}
+                               {-# L #-}
+                               x_r3e ->
+       let {
+         ds_dDN  :: 
+             [t{-aAZ-}]
+         {-# L #-}
+         ds_dDN =
+             PrelBase.[]{-5i,p-}{i}
+                 _@_ t{-aAZ-} } in
+       let { ds_dDR  :: 
+                 [[t{-aAZ-}]]
+             {-# L #-}
+             ds_dDR =
+         let {
+           ds_dE7  :: 
+               [t{-aAZ-}]
+           {-# L #-}
+           ds_dE7 =
+               PrelBase.[]{-5i,p-}{i}
+                   _@_ t{-aAZ-} } in
+         let {
+           ds_dEb  :: 
+               [[t{-aAZ-}]]
+           {-# L #-}
+           ds_dEb =
+               PrelBase.[]{-5i,p-}{i}
+                   {_@_ [t{-aAZ-}]}
+         } in 
+           PrelBase.:{-55,p-}{i}
+               {_@_ [t{-aAZ-}] ds_dE7 ds_dEb}
+       } in
+       PrelBase.:{-55,p-}{i}
+           {_@_ [t{-aAZ-}] ds_dDN ds_dDR}