[project @ 1999-06-09 09:35:54 by simonpj]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail081.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail081.stderr b/ghc/tests/typecheck/should_fail/tcfail081.stderr
index c0bbc90..f66b5ec 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail081.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail081.stderr
@@ -1,10 +1,9 @@
 
-tcfail081.hs:4:
-    Inferred type is less polymorphic than expected
-       Quantified type variable `a' is unified with `IO t'
-    When checking the type signature main :: forall a1. a1
-
-
+tcfail081.hs:2:
+    Cannot unify the type-signature variable `a' with the type `IO t'
+       Expected type: IO t
+       Inferred type: a
+    When checking that `main' has the required type
 
 Compilation had errors