[project @ 2000-05-16 14:04:25 by rrt]

[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc062.stderr

diff --git a/ghc/tests/typecheck/should_compile/tc062.stderr b/ghc/tests/typecheck/should_compile/tc062.stderr
index 5b81052..964a442 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc062.stderr
+++ b/ghc/tests/typecheck/should_compile/tc062.stderr
@@ -1,11 +1,8 @@
-ghc: module version changed to 1; reason: no old .hi file
-_exports_
-ShouldSucceed f Eq1(:Eq1 :Eq1 deq);
-_instances_
-instance _forall_ [a] {Eq1 a} => {Eq1 [a]} = $dEq10;
-instance {Eq1 PrelBase.Int} = $dEq1Int0;
-_declarations_
-1 $dEq10 _:_ _forall_ [a] {Eq1 a} => {Eq1 [a]} ;;
-1 $dEq1Int0 _:_ {Eq1 PrelBase.Int} ;;
+__export ShouldSucceed Eq1{deq} f;
+instance {Eq1 PrelBase.Int} = zdfEq1Int;
+instance __forall [a] => {Eq1 a} -> {Eq1 [a]} = zdfEq1ZMZN;
 1 class Eq1 a where {deq :: a -> a -> PrelBase.Bool} ;
-1 f _:_ _forall_ [a] {Eq1 [a]} => [a] -> [a] -> PrelBase.Bool ;;
+1 f :: __forall [t] => {Eq1 [t]} -> [t] -> [t] -> PrelBase.Bool ;
+1 zddmdeq :: __forall [a] => {Eq1 a} -> a -> a -> PrelBase.Bool ;
+1 zdfEq1Int :: {Eq1 PrelBase.Int} ;
+1 zdfEq1ZMZN :: __forall [a] => {Eq1 a} -> {Eq1 [a]} ;