[project @ 1999-12-29 14:46:29 by simonpj]

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

diff --git a/ghc/tests/typecheck/should_compile/tc049.stderr b/ghc/tests/typecheck/should_compile/tc049.stderr
index eb84e61..a8c1e88 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc049.stderr
+++ b/ghc/tests/typecheck/should_compile/tc049.stderr
@@ -1,15 +1,12 @@
-ghc: module version changed to 1; reason: no old .hi file
-_exports_
-ShouldSucceed fib main1 main2 main3 mem mem1 mem2 mem3 mem4 oR oR1;
-_declarations_
-1 fib _:_ _forall_ [$a] {PrelBase.Num $a, PrelBase.Ord $a} => $a -> $a ;;
-1 main1 _:_ PrelBase.Bool ;;
-1 main2 _:_ PrelBase.Bool ;;
-1 main3 _:_ PrelBase.Bool ;;
-1 mem _:_ _forall_ [$a] {PrelBase.Eq $a} => $a -> [$a] -> PrelBase.Bool ;;
-1 mem1 _:_ _forall_ [$a] {PrelBase.Eq $a} => $a -> [$a] -> PrelBase.Bool ;;
-1 mem2 _:_ _forall_ [$a] {PrelBase.Eq $a} => $a -> [$a] -> PrelBase.Bool ;;
-1 mem3 _:_ _forall_ [$a] {PrelBase.Eq [$a]} => $a -> [$a] -> PrelBase.Bool ;;
-1 mem4 _:_ _forall_ [$a] {PrelBase.Eq [$a]} => $a -> [$a] -> PrelBase.Bool ;;
-1 oR _:_ PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;;
-1 oR1 _:_ PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;;
+__export ShouldSucceed fib main1 main2 main3 mem mem1 mem2 mem3 mem4 oR oR1;
+1 fib :: __forall [a] => {PrelNum.Num a} -> {PrelBase.Ord a} -> a -> a ;
+1 main1 :: PrelBase.Bool ;
+1 main2 :: PrelBase.Bool ;
+1 main3 :: PrelBase.Bool ;
+1 mem :: __forall [a] => {PrelBase.Eq a} -> a -> [a] -> PrelBase.Bool ;
+1 mem1 :: __forall [a] => {PrelBase.Eq a} -> a -> [a] -> PrelBase.Bool ;
+1 mem2 :: __forall [a] => {PrelBase.Eq a} -> a -> [a] -> PrelBase.Bool ;
+1 mem3 :: __forall [t] => {PrelBase.Eq [t]} -> t -> [t] -> PrelBase.Bool ;
+1 mem4 :: __forall [t] => {PrelBase.Eq [t]} -> t -> [t] -> PrelBase.Bool ;
+1 oR :: PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;
+1 oR1 :: PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;