[project @ 1999-01-23 17:57:35 by sof]

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail076.stderr b/ghc/tests/typecheck/should_fail/tcfail076.stderr
index 7fd5f0c..ae09933 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail076.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail076.stderr
@@ -1,13 +1,17 @@
  
-tcfail076.hs:20:
-    A type signature is more polymorphic than the inferred type
-       Can't for-all the type variable(s) `aO3'
-       in the type `(aNZ -> aNX aO3) -> aNX aO3'
+tcfail076.hs:18:
+    Inferred type is less polymorphic than expected
+       Quantified type variable `res' escapes
+       It unifies with `_114_101_115', which is mentioned in the environment
+       The following variables in the environment mention `_114_101_115'
+           cont :: a -> m _114_101_115
+    In an expression with expected type: forall
+                                        _114_101_1151.
+                                        (_97 -> m _114_101_1151) -> m _114_101_1151
     In the first argument of `KContT', namely `(\ cont' -> cont a)'
-    In the first argument of `f', namely
-       `(\ a -> KContT (\ cont' -> cont a))'
-    In the first argument of `unKContT', namely
-       `(f (\ a -> KContT (\ cont' -> cont a)))'
+    In the right-hand side of a lambda abstraction:
+       KContT (\ cont' -> cont a)
 
 
 Compilation had errors
+