[project @ 2001-08-22 12:24:41 by simonmar]

[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
deleted file mode 100644 (file)
index d913f20..0000000
--- a/ghc/tests/typecheck/should_fail/tcfail076.stderr
+++ /dev/null
@@ -1,12 +0,0 @@
-
-tcfail076.hs:18:
-    Inferred type is less polymorphic than expected
-       Quantified type variable `res' escapes
-       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 res1) -> m res1
-    When checking an expression type signature
-    In the first argument of `KContT', namely `(\ cont' -> cont a)'
-    in a lambda abstraction: KContT (\ cont' -> cont a)