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

[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 191e08e..2b7b343 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail065.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail065.stderr
@@ -2,13 +2,13 @@
 tcfail065.hs:29:
     Inferred type is less polymorphic than expected
        Quantified type variable `x' escapes
-       It is mentioned in the environment
-       The following variables in the environment mention `x'
+       It unifies with `x1', which is mentioned in the environment
+** SLPJ: I HATE THE 'unifies with' PART **
+       The following variables in the environment mention `x1'
+** AND NOTHING MENTIONED! **
     When checking the type signature
        setX :: forall x2. x2 -> X x1 -> X x1
     In the definition for method `setX'
 
-
-
 Compilation had errors