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

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

diff --git a/ghc/compiler/tests/deSugar/ds008.stderr b/ghc/compiler/tests/deSugar/ds008.stderr
index 240c477..7ca5532 100644 (file)
--- a/ghc/compiler/tests/deSugar/ds008.stderr
+++ b/ghc/compiler/tests/deSugar/ds008.stderr
@@ -1,21 +1,116 @@
-Desugared:
-Test.f :: for all d, e. d -> [e]
-Test.f = /\ o81 t82 -> \ x.102 -> Nil! t82
-Test.g :: for all d, e, f, g, h. d -> ([e], [f], [g], [h])
-Test.g =
-    /\ o85 t87 t89 t90 t91 -> \ x.103 ->
-       MkTuple4!
-           [t87]
-           [t89]
-           [t90]
-           [t91]
-           (((Test.f [t88]) t87) (Nil! t88))
-           (Nil! t89)
-           (Nil! t90)
-           (Nil! t91)
-Test.h :: for all d, e, f, g, h. d -> ([e], [f], [g], [h])
-Test.h =
-    /\ o94 t96 t97 t98 t99 -> \ x.104 ->
-       (((((Test.g Int) t96) t97) t98) t99)
-           (let dict.105 = dfun.Num.Int in  MkInt! 1#)
 
+
+================================================================================
+Desugared:
+Rec {
+d.Num_aY4  :: 
+    {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
+{-# L #-}
+d.Num_aY4 =
+    PrelBase.$d3{-rbb,p-}
+fromInt_a117  :: 
+    PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
+{-# L #-}
+fromInt_a117 =
+    PrelBase.fromInt{-8R,p-}
+       _@_ PrelBase.Int{-3g,p-} d.Num_aY4
+lit_a11e  :: 
+    PrelBase.Int{-3g,p-}
+{-# L #-}
+lit_a11e =
+    let {
+      ds_d11D  :: 
+         PrelBase.Int{-3g,p-}
+      {-# L #-}
+      ds_d11D =
+         PrelBase.I#{-5b,p-}{i}
+             1
+    } in 
+      fromInt_a117
+         ds_d11D
+f{-r3m,x-}  :: 
+    _forall_ [t{-aXj-} t{-aXh-}] => t{-aXj-} -> [t{-aXh-}]
+{-# L #-}
+f{-r3m,x-} =
+    _/\_ t{-aXj-} t{-aXh-} -> \ x_r3f  :: 
+                                   t{-aXj-}
+                               {-# L #-}
+                               x_r3f ->
+       PrelBase.[]{-5i,p-}{i}
+           _@_ t{-aXh-}
+g{-r3l,x-}  :: 
+    _forall_
+    [t{-aXD-} t{-aXv-} t{-aXx-} t{-aXz-} t{-aXB-}]
+    =>
+    t{-aXD-} -> ([t{-aXv-}], [t{-aXx-}], [t{-aXz-}], [t{-aXB-}])
+{-# L #-}
+g{-r3l,x-} =
+    _/\_ t{-aXD-} t{-aXv-} t{-aXx-} t{-aXz-} t{-aXB-} -> \ x_r3h  :: 
+                                                              t{-aXD-}
+                                                          {-# L #-}
+                                                          x_r3h ->
+       let { ds_d12o  :: 
+                 [t{-aXv-}]
+             {-# L #-}
+             ds_d12o =
+         let {
+           ds_d12M  :: 
+               [GHC.Void{-3T,p-}]
+           {-# L #-}
+           ds_d12M =
+               PrelBase.[]{-5i,p-}{i}
+                   _@_ GHC.Void{-3T,p-}
+         } in 
+           f{-r3m,x-}
+               _@_ [GHC.Void{-3T,p-}] _@_ t{-aXv-} ds_d12M
+       } in
+       let {
+         ds_d12s  :: 
+             [t{-aXx-}]
+         {-# L #-}
+         ds_d12s =
+             PrelBase.[]{-5i,p-}{i}
+                 _@_ t{-aXx-} } in
+       let {
+         ds_d12w  :: 
+             [t{-aXz-}]
+         {-# L #-}
+         ds_d12w =
+             PrelBase.[]{-5i,p-}{i}
+                 _@_ t{-aXz-} } in
+       let {
+         ds_d12A  :: 
+             [t{-aXB-}]
+         {-# L #-}
+         ds_d12A =
+             PrelBase.[]{-5i,p-}{i}
+                 _@_ t{-aXB-}
+       } in 
+         PrelTup.(,,,){-64,p-}{i}
+             {_@_ [t{-aXv-}]
+              _@_ [t{-aXx-}]
+              _@_ [t{-aXz-}]
+              _@_ [t{-aXB-}]
+              ds_d12o
+              ds_d12s
+              ds_d12w
+              ds_d12A}
+h{-r3k,x-}  :: 
+    _forall_
+    [t{-aY0-} t{-aXS-} t{-aXT-} t{-aXU-} t{-aXV-}]
+    =>
+    t{-aY0-} -> ([t{-aXS-}], [t{-aXT-}], [t{-aXU-}], [t{-aXV-}])
+{-# L #-}
+h{-r3k,x-} =
+    _/\_ t{-aY0-} t{-aXS-} t{-aXT-} t{-aXU-} t{-aXV-} -> \ x_r3j  :: 
+                                                              t{-aY0-}
+                                                          {-# L #-}
+                                                          x_r3j ->
+       g{-r3l,x-}
+           _@_ PrelBase.Int{-3g,p-}
+           _@_ t{-aXS-}
+           _@_ t{-aXT-}
+           _@_ t{-aXU-}
+           _@_ t{-aXV-}
+           lit_a11e
+end Rec }