[project @ 1997-09-05 14:11:05 by simonm]

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

diff --git a/ghc/tests/deSugar/should_compile/ds030.stderr b/ghc/tests/deSugar/should_compile/ds030.stderr
index beecd0f..1c144af 100644 (file)
--- a/ghc/tests/deSugar/should_compile/ds030.stderr
+++ b/ghc/tests/deSugar/should_compile/ds030.stderr
@@ -3,52 +3,39 @@
 ================================================================================
 Desugared:
 Rec {
+f{-r3e,x-}  ::  _forall_ [taBY] => [taBY] -> PrelBase.Int{-3g,W-}
 {-# L #-}
-d.Num_aHE =
-    PrelBase.$d3
-{-# L #-}
-fromInt_aKm =
-    PrelBase.fromInt
-       _@_ PrelBase.Int d.Num_aHE
-{-# L #-}
-lit_aKx =
-    let {
-      {-# L #-}
-      ds_dKW =
-         PrelBase.I#
-             3
-    } in 
-      fromInt_aKm
-         ds_dKW
-{-# L #-}
-fromInt_aKw =
-    fromInt_aKm
+f{-r3e,x-} =
+    _/\_ taBY ->
+       _letrec_ {
+         f_aBO  ::  [taBY] -> PrelBase.Int{-3g,W-}
+         {-# L #-}
+         f_aBO =
+             \ x_r3d  ::  [taBY]
+               {-# L #-}
+               x_r3d ->
+                 let {
+                   ds_dEM  ::  [taBY]
+                   {-# L #-}
+                   ds_dEM =
+                       x_r3d } in
+                 let {
+                   fail_dEO  ::  PrelBase.Int{-3g,W-}
+                   {-# L #-}
+                   fail_dEO =
+                       lit_aEC
+                 } in 
+                   case ds_dEM of {
+                     PrelBase.:{-55,w-}{i} ds_dEV ds_dEW -> fail_dEO;
+                     PrelBase.[]{-5i,w-}{i} -> lit_aEA;
+                   };
+       } in  f_aBO
+lit_aEA  ::  PrelBase.Int{-3g,W-}
 {-# L #-}
-lit_aKt =
-    let {
-      {-# L #-}
-      ds_dLb =
-         PrelBase.I#
-             4
-    } in 
-      fromInt_aKw
-         ds_dLb
+lit_aEA =
+    PrelBase.I#{-5b,w-}{i} 3
+lit_aEC  ::  PrelBase.Int{-3g,W-}
 {-# L #-}
-f = _/\_ t{-aHm-} -> \ {-# L #-}
-                      x_r3d ->
-       let {
-         {-# L #-}
-         ds_dLw =
-             x_r3d } in
-       let {
-         {-# L #-}
-         fail_dLy =
-             lit_aKt
-       } in 
-         case ds_dLw of {
-           PrelBase.: ds_dLG ds_dLF ->
-               fail_dLy;
-           PrelBase.[] ->
-               lit_aKx;
-         }
+lit_aEC =
+    PrelBase.I#{-5b,w-}{i} 4
 end Rec }