[project @ 2001-08-22 11:45:06 by sewardj]

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail032.stderr b/ghc/tests/typecheck/should_fail/tcfail032.stderr
index 0a2b33b..4b6d85a 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail032.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail032.stderr
@@ -1,10 +1,12 @@
- 
+
 tcfail032.hs:14:
-    A type signature is more polymorphic than the inferred type
-       Can't for-all the type variable(s) `a'
-       in the type `a -> Int'
+    Inferred type is less polymorphic than expected
+       Quantified type variable `a' escapes
+       It is mentioned in the environment
+       The following variables in the environment mention `a'
+         x :: a -> Int
+    Signature type:     forall a. (Eq a) => a -> Int
+    Type to generalise: a -> Int
+    When checking an expression type signature
     In an expression with a type signature:
-         x :: _forall_ [a] (PrelBase.Eq a) => a -> Int
-
-
-Compilation had errors
+         x :: forall a. (Eq a) => a -> Int