X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_compile%2Ftc082.stderr;h=3b89f1c2faaeb835a66293470c4a8d5b1655ce7a;hb=189333a4701d130b7ddc445f164ae33e94bbdc46;hp=e81df92294522ade39dc31bcdc5e6734f56be2a0;hpb=dbf71170c5a24389293e15a06f2606b23207c0fd;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_compile/tc082.stderr b/ghc/tests/typecheck/should_compile/tc082.stderr
index e81df92..3b89f1c 100644
--- a/ghc/tests/typecheck/should_compile/tc082.stderr
+++ b/ghc/tests/typecheck/should_compile/tc082.stderr
@@ -1,9 +1,6 @@
-ghc: module version changed to 1; reason: no old .hi file
-_exports_
-ShouldSucceed f Normal{:Normal :Normal normal};
-_instances_
-instance _forall_ [$a $b] => {Normal ($a -> $b)} = $dNormal0;
-_declarations_
-1 $dNormal0 _:_ _forall_ [$a $b] => {Normal ($a -> $b)} ;;
-1 class Normal $r3D where {normal :: $r3D -> PrelBase.Bool} ;
-1 f _:_ _forall_ [$a] => $a -> PrelBase.Bool ;;
+__export ShouldSucceed Normal{normal} f;
+instance __forall [a b] => {Normal (a -> b)} = zdfNormalZLzmzgZR;
+1 class Normal a where {normal :: a -> PrelBase.Bool} ;
+1 f :: __forall [t] => t -> PrelBase.Bool ;
+1 zddmnormal :: __forall [a] => {Normal a} -> a -> PrelBase.Bool ;
+1 zdfNormalZLzmzgZR :: __forall [a b] => {Normal (a -> b)} ;