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

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

diff --git a/ghc/tests/deSugar/should_compile/ds008.stderr b/ghc/tests/deSugar/should_compile/ds008.stderr
index efe8c70..e69de29 100644 (file)
--- a/ghc/tests/deSugar/should_compile/ds008.stderr
+++ b/ghc/tests/deSugar/should_compile/ds008.stderr
@@ -1,95 +0,0 @@
-
-
-================================================================================
-Desugared:
-Rec {
-f{-r3i,x-}  ::  _forall_ [taRU taRS] => taRU -> [taRS]
-{-# L #-}
-f{-r3i,x-} =
-    _/\_ taRU taRS ->
-       _letrec_ {
-         f_aRJ  ::  taRU -> [taRS]
-         {-# L #-}
-         f_aRJ =
-             \ x_r3f  ::  taRU
-               {-# L #-}
-               x_r3f ->
-                 PrelBase.[]{-5i,w-}{i} _@_ taRS;
-       } in  f_aRJ
-g{-r3m,x-}  ::  _forall_
-               [taSp taSe taSj taSl taSn]
-               =>
-               taSp -> ([taSe], [taSj], [taSl], [taSn])
-{-# L #-}
-g{-r3m,x-} =
-    _/\_ taSp taSe taSj taSl taSn ->
-       _letrec_ {
-         g_aRW  ::  taSp -> ([taSe], [taSj], [taSl], [taSn])
-         {-# L #-}
-         g_aRW =
-             \ x_r3h  ::  taSp
-               {-# L #-}
-               x_r3h ->
-                 let { ds_dWB  ::  [taSe]
-                       {-# L #-}
-                       ds_dWB =
-                   let {
-                     ds_dWZ  ::  [GHC.Void{-3T,W-}]
-                     {-# L #-}
-                     ds_dWZ =
-                         PrelBase.[]{-5i,w-}{i} _@_ GHC.Void{-3T,W-}
-                   } in  f{-r3i,x-} _@_ [GHC.Void{-3T,W-}] _@_ taSe ds_dWZ
-                 } in
-                 let {
-                   ds_dWF  ::  [taSj]
-                   {-# L #-}
-                   ds_dWF =
-                       PrelBase.[]{-5i,w-}{i} _@_ taSj } in
-                 let {
-                   ds_dWJ  ::  [taSl]
-                   {-# L #-}
-                   ds_dWJ =
-                       PrelBase.[]{-5i,w-}{i} _@_ taSl } in
-                 let {
-                   ds_dWN  ::  [taSn]
-                   {-# L #-}
-                   ds_dWN =
-                       PrelBase.[]{-5i,w-}{i} _@_ taSn
-                 } in 
-                   PrelTup.(,,,){-64,w-}{i}
-                       {_@_ [taSe]
-                        _@_ [taSj]
-                        _@_ [taSl]
-                        _@_ [taSn]
-                        ds_dWB
-                        ds_dWF
-                        ds_dWJ
-                        ds_dWN};
-       } in  g_aRW
-h{-r3l,x-}  ::  _forall_
-               [taSM taSB taSD taSF taSH]
-               =>
-               taSM -> ([taSB], [taSD], [taSF], [taSH])
-{-# L #-}
-h{-r3l,x-} =
-    _/\_ taSM taSB taSD taSF taSH ->
-       _letrec_ {
-         h_aSr  ::  taSM -> ([taSB], [taSD], [taSF], [taSH])
-         {-# L #-}
-         h_aSr =
-             \ x_r3k  ::  taSM
-               {-# L #-}
-               x_r3k ->
-                 g{-r3m,x-}
-                     _@_ PrelBase.Int{-3g,W-}
-                     _@_ taSB
-                     _@_ taSD
-                     _@_ taSF
-                     _@_ taSH
-                     lit_aVP;
-       } in  h_aSr
-lit_aVP  ::  PrelBase.Int{-3g,W-}
-{-# L #-}
-lit_aVP =
-    PrelBase.I#{-5b,w-}{i} 1
-end Rec }