X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc036.stderr;h=5e4ec7a69f39e9e0124ee80f1a9f20e21f1b963c;hb=29b46083beaa048af4b4a68e8f96909ac98a639f;hp=1cd9d2380dfc62bd703c4af7c26b4231c215eb9c;hpb=e7d21ee4f8ac907665a7e170c71d59e13a01da09;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc036.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc036.stderr
index 1cd9d23..5e4ec7a 100644
--- a/ghc/compiler/tests/typecheck/should_succeed/tc036.stderr
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc036.stderr
@@ -1,12 +1,33 @@
+
+
+--================================================================================
 Typechecked:
 {- nonrec -}
-ShouldSucceed.A.op1 = /\ a.t0 -> \{-classdict-} [d.Eq.t2] [op1.t1] -> op1.t1
-sdsel.ShouldSucceed.A.Eq =
-    /\ a.t0 -> \{-classdict-} [d.Eq.t2] [op1.t1] -> d.Eq.t2
+scsel_APrelBaseEq{-aG7,x-} =
+    _/\_ a{-r3e-} -> \ tpl_B1 ->
+	case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
+op1{-r3f,x-} =
+    _/\_ a{-r3e-} -> \ tpl_B1 ->
+	case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
 {- nonrec -}
-defm.ShouldSucceed.A.op1 =
-    /\ a.t3 ->
-	\{-dict-} d.ShouldSucceed.A.t4 ->
-	    (error (a.t3 -> a.t3))
-		"No default method for \"ShouldSucceed.A.defm.ShouldSucceed.A.op1\"\n"
-
+AbsBinds
+[a{-aG6-}]
+[d.A_aFZ]
+[([a{-aG6-}], $mop1{-rG8,x-}, op1_aG1)]
+    AbsBinds [] [] [([], op1_aG1, op1_aG3)]
+	op1_aG3
+	    =   GHCerr.noDefaultMethodError{-8k,p-}
+		    (a{-aG6-} -> a{-aG6-}) "Class A Method op1"
+{- nonrec -}
+ghc: module version changed to 1; reason: no old .hi file
+_interface_ ShouldSucceed 1
+_instance_modules_
+ArrBase IO PrelNum
+_usages_
+PrelBase 1 :: $d15 1 $d32 1 $d7 1 Eq 1;
+PrelNum 1 :: $d18 1;
+_exports_
+ShouldSucceed A(op1);
+_declarations_
+1 $mop1 _:_ _forall_ [a] {A a} => a -> a ;;
+1 class {PrelBase.Eq r3e} => A r3e where {op1 :: r3e -> r3e} ;