X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_compile%2Ftc066.stderr;h=fe1a93957f6b7dcd126c56bf21e5851ed0e7a328;hb=0268d6925e117661769fbe1ed823cbef7e4da8e3;hp=613e48618fbbc6fdfa5806342b221f840a5e2714;hpb=26e677fd40e5dd967f0271a9232dfd5e3cd1ee29;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_compile/tc066.stderr b/ghc/tests/typecheck/should_compile/tc066.stderr
index 613e486..fe1a939 100644
--- a/ghc/tests/typecheck/should_compile/tc066.stderr
+++ b/ghc/tests/typecheck/should_compile/tc066.stderr
@@ -1,14 +1,4 @@
 ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
-_usages_
-PrelBase 1 :: $d2 1 $d29 1 $d31 1 $d33 1 $d38 1 $m>> 1 Eval 1 Monad 1 MonadZero 1;
-_exports_
-ShouldSucceed f Pair(MkPair);
-_instances_
-instance _forall_ [a b] => {PrelBase.Eval (Pair a b)} = $d1;
-_declarations_
-1 $d1 _:_ _forall_ [a b] => {PrelBase.Eval (Pair a b)} ;;
+__export ShouldSucceed Pair{MkPair} f;
 1 data Pair a b = MkPair a b ;
-1 f _:_ _forall_ [a b c :: (* -> *)] {PrelBase.Monad c} => c (Pair a b) -> c b ;;
+1 f :: __forall [a b] => [Pair a b] -> [b] ;