[project @ 1999-02-10 15:45:52 by simonpj]

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

diff --git a/ghc/tests/typecheck/should_compile/tc024.stderr b/ghc/tests/typecheck/should_compile/tc024.stderr
index db99b11..eeaa682 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc024.stderr
+++ b/ghc/tests/typecheck/should_compile/tc024.stderr
@@ -1,7 +1,5 @@
 ghc: module version changed to 1; reason: no old .hi file
-_exports_
-ShouldSucceed k main s;
-_declarations_
-1 k _:_ _forall_ [$a $b] => $b -> $a -> $b ;;
-1 main _:_ _forall_ [$a] => $a -> $a ;;
-1 s _:_ _forall_ [$a $b $c] => ($c -> $b -> $a) -> ($c -> $b) -> $c -> $a ;;
+__export ShouldSucceed k main s;
+1 k :: __forall [t t1] => t -> t1 -> t ;
+1 main :: __forall [t] => t -> t ;
+1 s :: __forall [t t1 t2] => (t2 -> t1 -> t) -> (t2 -> t1) -> t2 -> t ;