[project @ 1997-12-16 17:15:04 by simonm]

[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 e36f446..4bcb964 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail071.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail071.stderr
@@ -1,8 +1,8 @@
  
 tcfail071.hs:10: Couldn't match the signature/existential type variable
-                    `taEm' with the type `taEz -> taEw -> taEw'
-    Expected: `taEm'
-    Inferred: `taEz -> taEw -> taEw'
+                    `taDJ' with the type `taDW -> taDT -> taDT'
+    Expected: `taDJ'
+    Inferred: `taDW -> taDT -> taDT'
     In the first argument of `f', namely `c'
     In the first argument of `foldr', namely `(f c)'
     In a pattern binding: `p = foldr (f c) [] []'