[project @ 1998-04-17 15:58:37 by simonm]

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

diff --git a/ghc/tests/typecheck/should_compile/tc023.stderr b/ghc/tests/typecheck/should_compile/tc023.stderr
index 4ef514c..cc14d78 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc023.stderr
+++ b/ghc/tests/typecheck/should_compile/tc023.stderr
@@ -1,10 +1,10 @@
 ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
+_interface_ ShouldSucceed 1 302
 _instance_modules_
-Addr ArrBase Foreign IO PrelNum
+IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
 _exports_
 ShouldSucceed k main s;
 _declarations_
-1 k _:_ _forall_ [ta tb] => tb -> ta -> tb ;;
-1 main _:_ _forall_ [ta] => ta -> ta ;;
-1 s _:_ _forall_ [ta tb tc] => (tb -> tc -> ta) -> (tb -> tc) -> tb -> ta ;;
+1 k _:_ _forall_ [a b] => a -> b -> a ;;
+1 main _:_ _forall_ [a] => a -> a ;;
+1 s _:_ _forall_ [a b c] => (a -> c -> b) -> (a -> c) -> a -> b ;;