[project @ 1999-01-23 17:57:35 by sof]

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

diff --git a/ghc/tests/typecheck/should_compile/tc063.stderr b/ghc/tests/typecheck/should_compile/tc063.stderr
index b131219..aec818d 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc063.stderr
+++ b/ghc/tests/typecheck/should_compile/tc063.stderr
@@ -1,12 +1,9 @@
 ghc: module version changed to 1; reason: no old .hi file
-_exports_
-ShouldSucceed g Reps{:Reps :Reps f} X{Tag};
-_instances_
-instance {Reps PrelBase.Bool} = $dRepsBool0;
-instance _forall_ [$a] => {Reps (X $a)} = $dRepsX0;
-_declarations_
-1 $dRepsBool0 _:_ {Reps PrelBase.Bool} ;;
-1 $dRepsX0 _:_ _forall_ [$a] => {Reps (X $a)} ;;
-1 class Reps $r3L where {f :: $r3L -> $r3L -> $r3L} ;
-1 data X $r3O = Tag $r3O ;
-1 g _:_ _forall_ [$a] {Reps $a} => $a -> $a ;;
+__export ShouldSucceed g Reps{f} X{Tag};
+instance {Reps PrelBase.Bool} = _fRepsBool;
+instance __forall [q] => {Reps (X q)} = _fRepsX;
+1 _fRepsBool :: {Reps PrelBase.Bool} ;
+1 _fRepsX :: __forall [q] => {Reps (X q)} ;
+1 class Reps r where {f :: r -> r -> r} ;
+1 data X a = Tag a ;
+1 g :: __forall [r] {Reps r} => r -> r ;