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

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail071.stderr b/ghc/tests/typecheck/should_fail/tcfail071.stderr
deleted file mode 100644 (file)
index af4ae90..0000000
--- a/ghc/tests/typecheck/should_fail/tcfail071.stderr
+++ /dev/null
@@ -1,13 +0,0 @@
-
-tcfail071.hs:5:
-    Mismatched contexts
-    When matching the contexts of the signatures for `g' and `f'
-       (the signature contexts in a mutually recursive group should all be identical)
-
-tcfail071.hs:10:
-    Cannot unify the type-signature variable `c'
-       with the type `a -> b -> b'
-       Expected type: a -> b -> b
-       Inferred type: c
-    In the first argument of `f', namely `c'
-    In the first argument of `foldr', namely `(f c)'