[project @ 1998-11-16 18:14:44 by simonm]

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail065.stderr b/ghc/tests/typecheck/should_fail/tcfail065.stderr
index c2cc051..580ebf6 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail065.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail065.stderr
@@ -1,9 +1,10 @@
  
 tcfail065.hs:29:
-    A type signature is more polymorphic than the inferred type
-       Can't for-all the type variable(s) `aT2'
-       in the type `aT2 -> X x -> X x'
+    Inferred type is less polymorphic than expected
+       Quantified type variable `x' escapes; i.e. unifies with something more global
     When checking the type signature for `setX'
+       Signature: x -> X x1 -> X x1
+       Inferred:  x -> X x -> X x
     In the definition for method `setX'