X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail076.stderr;h=fdf02e0d6626753b6d9eb233c1a494125028ccd3;hb=584d954c53359db8a83e6582e742167a957f7437;hp=d3bf9a7fff01b8ef97a69d710cee3ebe9368d81c;hpb=baa3f2a98d1c7ed158ca9f6011168fda7a32f64d;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_fail/tcfail076.stderr b/ghc/tests/typecheck/should_fail/tcfail076.stderr
index d3bf9a7..fdf02e0 100644
--- a/ghc/tests/typecheck/should_fail/tcfail076.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail076.stderr
@@ -2,15 +2,12 @@
 tcfail076.hs:18:
     Inferred type is less polymorphic than expected
 	Quantified type variable `res' escapes
-	It is mentioned in the environment
-	The following variables in the environment mention `res'
-	  cont :: a -> m res
+	It unifies with `res1', which is mentioned in the environment
+	The following variables in the environment mention `res1'
+	  cont :: a -> m res1
     Signature type:     forall res. (a1 -> m1 res) -> m1 res
-    Type to generalise: (b -> m res) -> m res
+    Type to generalise: (b -> m res1) -> m res1
     When checking an expression type signature
     In the first argument of `KContT', namely `(\ cont' -> cont a)'
     In the right-hand side of a lambda abstraction:
 	KContT (\ cont' -> cont a)
-
-Compilation had errors
-