[project @ 1997-07-30 23:52:45 by sof]

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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc005.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc005.stderr
index 13046bc..82ba4a8 100644 (file)
--- a/ghc/compiler/tests/typecheck/should_succeed/tc005.stderr
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc005.stderr
@@ -1,11 +1,35 @@
-Typechecked:
-AbsBinds [tt11, tt12] [d.Num.t15] [(g.t1, ShouldSucceed.g)]
-    (fromInt.t14, fromInt tt12 d.Num.t15)
-    (lit.t13, fromInt.t14 (MkInt 2#))
-    {- nonrec -}
-    g.t1 :: ([tt12], tt11) -> tt12
-    g.t1 ((x.r54 : z.r56), y.r55)
-                = x.r54
-    g.t1 (x.r57, y.r58)
-                = lit.t13
 
+
+--================================================================================
+Typechecked:
+{- nonrec -}
+{- nonrec -}
+AbsBinds
+[t{-aWw-}, t{-aWz-}]
+[d.Num_aWD]
+[([t{-aWw-}, t{-aWz-}], g{-r3j,x-}, g_aWb)]
+    fromInt_aWF =
+       PrelBase.fromInt{-8R,p-}
+           t{-aWz-}
+           d.Num_aWD
+    lit_aWE =
+       fromInt_aWF PrelBase.I#{-5b,p-}{i} 2#
+    g_aWb
+       ((x_r3d PrelBase.:{-55,p-}{i} z_r3e), y_r3f)
+               =   x_r3d
+    g_aWb
+       (x_r3h, y_r3i)
+               =   lit_aWE
+{- nonrec -}
+ghc: module version changed to 1; reason: no old .hi file
+_interface_ ShouldSucceed 1
+_instance_modules_
+ArrBase IO PrelNum
+_usages_
+PrelBase 1 :: $d1 1 $d11 1 $d15 1 $d2 1 $d21 1 $d27 1 $d3 1 $d32 1 $d33 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d46 1 $d54 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
+PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
+PrelTup 1 :: $d13 1 $d4 1 $d9 1;
+_exports_
+ShouldSucceed g;
+_declarations_
+1 g _:_ _forall_ [a b] {PrelBase.Num b} => ([b], a) -> b ;;