X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc009.stderr;h=968ef4ad6304bf3b896522186237f4d0534b6b66;hb=4a48f32dfe4d85e07c3b83f1a3327f7ec4220947;hp=0b70e78da05c54d7b16e0ab23b1dc3c62c5f5aa3;hpb=e2656c348a1b84eaeef62df5877094aa948561ac;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc009.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc009.stderr
index 0b70e78..968ef4a 100644
--- a/ghc/compiler/tests/typecheck/should_succeed/tc009.stderr
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc009.stderr
@@ -1,13 +1,38 @@
-Typechecked:
-AbsBinds [tt10] [d.Num.t14] [(o.t1, ShouldSucceed.o)]
-    (fromInt.t13, fromInt tt10 d.Num.t14)
-    (lit.t11, fromInt.t13 (MkInt 1#))
-    (d.Num.t15, d.Num.t14)
-    (+.t9, (+) tt10 d.Num.t15)
-    {- nonrec -}
-    o.t1 :: (Bool, tt10) -> tt10
-    o.t1 (True, x.r54)
-		 = x.r54
-    o.t1 (False, y.r55)
-		 = y.r55 +.t9 lit.t11
 
+
+--================================================================================
+Typechecked:
+{- nonrec -}
+{- nonrec -}
+AbsBinds [t{-aWp-}] [d.Num_aWs] [([t{-aWp-}], o{-r3h,x-}, o_aW8)]
+    +_aWy =
+	PrelBase.+{-r3g,p-}
+	    t{-aWp-}
+	    d.Num_aWs
+    d.Num_aWv =
+	d.Num_aWs
+    fromInt_aWx =
+	PrelBase.fromInt{-8R,p-}
+	    t{-aWp-}
+	    d.Num_aWv
+    lit_aWw =
+	fromInt_aWx PrelBase.I#{-5b,p-}{i} 1#
+    o_aW8
+	(PrelBase.True{-5E,p-}{i}, x_r3d)
+		=   x_r3d
+    o_aW8
+	(PrelBase.False{-58,p-}{i}, y_r3f)
+		=   y_r3f +_aWy lit_aWw
+{- 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 o;
+_declarations_
+1 o _:_ _forall_ [a] {PrelBase.Num a} => (PrelBase.Bool, a) -> a ;;