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

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

diff --git a/ghc/tests/typecheck/should_compile/tc047.stderr b/ghc/tests/typecheck/should_compile/tc047.stderr
index 5c55b7a..c2d3259 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc047.stderr
+++ b/ghc/tests/typecheck/should_compile/tc047.stderr
@@ -1,11 +1,5 @@
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-Addr ArrBase Foreign IO PrelNum
-_exports_
-ShouldSucceed f mp sd OL;
-_declarations_
+__export ShouldSucceed OL f mp sd;
+1 f :: __forall [t t1 t2] => t -> [(t1, t2)] -> [t2] ;
+1 mp :: __forall [t t1] => (t -> t1) -> [t] -> [t1] ;
+1 sd :: __forall [t t1] => (t, t1) -> t1 ;
 1 type OL a = [a] ;
-1 f _:_ _forall_ [ta tb tc] => ta -> [(tb, tc)] -> [tc] ;;
-1 mp _:_ _forall_ [ta tb] => (ta -> tb) -> [ta] -> [tb] ;;
-1 sd _:_ _forall_ [ta tb] => (ta, tb) -> tb ;;