[project @ 2001-01-14 15:46:53 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
index c6067c2..af4ae90 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail071.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail071.stderr
@@ -1,18 +1,13 @@
- 
-tcfail071.hs:10: Couldn't match the signature/existential type variable
-                    `taCF' with the type `taCR -> taCS -> taCS'
-    Expected: `taCR -> taCS -> taCS'
-    Inferred: `taCF'
-    In the first argument of `PrelBase.foldr', namely `(f c)'
-    In an equation for function `g':
-       `g c
-          = c
-          where
-              p = PrelBase.foldr (f c) PrelBase.[] PrelBase.[]'
- 
-tcfail071.hs:8: Mismatched contexts
-    When matching the contexts of the signatures for `f' and `g'
-       (the signature contexts in a mutually recursive group should all be identical)
 
+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)
 
-Compilation had errors
+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)'