X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_compile%2Ftc063.stderr;h=aec818dfd8cfaf03b3306a4653b7b04c9b5f788e;hb=4c5f550b0089fba3490a1c08f78647e4f00ce81a;hp=b131219431452ac5843170fbe17c1d058ac1aa69;hpb=efb2325f880390412bec066b29aad1b4c77d0fb2;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_compile/tc063.stderr b/ghc/tests/typecheck/should_compile/tc063.stderr
index b131219..aec818d 100644
--- 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 ;