[project @ 1997-05-26 05:37:13 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc025.stderr

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc025.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc025.stderr
index 0cdf21d..6d88900 100644 (file)
--- a/ghc/compiler/tests/typecheck/should_succeed/tc025.stderr
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc025.stderr
@@ -1,13 +1,29 @@
-Typechecked:
-AbsBinds [] [] [(g.t1, ShouldSucceed.g)]
-    {- nonrec -}
-    g.t1 :: Bool -> Bool
-    g.t1 x.r54 = (f.r55 Bool) ((f.r55 Bool) True x.r54) x.r54
-              where
-                  AbsBinds [ot7] [] [(f.t4, f.r55)]
-                      {- rec -}
-                      f.t4 :: Bool -> ot7 -> ot7
-                      f.t4 x.r56 y.r57
-                                   = if x.r56 then y.r57 else f.t4 x.r56 y.r57
-                  {- nonrec -}
 
+
+--================================================================================
+Typechecked:
+{- nonrec -}
+{- nonrec -}
+AbsBinds [] [] [([], g{-r3k,x-}, g_an8)]
+    g_an8
+       x_r3d   =   f_r3f
+                       PrelBase.Bool{-34,p-} f_r3f
+                                                 PrelBase.Bool{-34,p-} PrelBase.True{-5E,p-}{i}
+                                                                       x_r3d
+                                             x_r3d
+               where
+                   {- rec -}
+                   AbsBinds [t{-ant-}] [] [([t{-ant-}], f_r3f, f_anc)]
+                       f_anc
+                           x_r3h y_r3j
+                                   =   if x_r3h then y_r3j else f_anc x_r3h y_r3j
+                   {- nonrec -}
+{- nonrec -}
+ghc: module version changed to 1; reason: no old .hi file
+_interface_ ShouldSucceed 1
+_instance_modules_
+ArrBase IO PrelNum
+_exports_
+ShouldSucceed g;
+_declarations_
+1 g _:_ PrelBase.Bool -> PrelBase.Bool ;;