X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc008.stderr;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc008.stderr;h=58036c4c5a8003e107c4ee8ec0e26131e66798cf;hb=4a48f32dfe4d85e07c3b83f1a3327f7ec4220947;hp=a70264d93e003c133fe846b5d414cbc7a2a64ef2;hpb=e2656c348a1b84eaeef62df5877094aa948561ac;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc008.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc008.stderr
index a70264d..58036c4 100644
--- a/ghc/compiler/tests/typecheck/should_succeed/tc008.stderr
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc008.stderr
@@ -1,11 +1,35 @@
-Typechecked:
-AbsBinds [tt4] [d.Num.t7] [(n.t1, ShouldSucceed.n)]
-    (fromInt.t6, fromInt tt4 d.Num.t7)
-    (lit.t3, fromInt.t6 (MkInt 1#))
-    (fromInt.t8, fromInt.t6)
-    (lit.t5, fromInt.t8 (MkInt 0#))
-    {- nonrec -}
-    n.t1 :: Bool -> tt4
-    n.t1 True = lit.t3
-    n.t1 False = lit.t5
 
+
+--================================================================================
+Typechecked:
+{- nonrec -}
+{- nonrec -}
+AbsBinds [t{-aGL-}] [d.Num_aGP] [([t{-aGL-}], n{-r1,x-}, n_aGE)]
+    fromInt_aGU =
+	PrelBase.fromInt{-8R,p-}
+	    t{-aGL-}
+	    d.Num_aGP
+    lit_aGT =
+	fromInt_aGU PrelBase.I#{-5b,p-}{i} 1#
+    fromInt_aGS =
+	fromInt_aGU
+    lit_aGQ =
+	fromInt_aGS PrelBase.I#{-5b,p-}{i} 0#
+    n_aGE
+	PrelBase.True{-5E,p-}{i}
+		=   lit_aGT
+    n_aGE
+	PrelBase.False{-58,p-}{i}
+		=   lit_aGQ
+{- 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;
+_exports_
+ShouldSucceed n;
+_declarations_
+1 n _:_ _forall_ [a] {PrelBase.Num a} => PrelBase.Bool -> a ;;