[project @ 1998-11-16 18:14:44 by simonm]

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail033.stderr b/ghc/tests/typecheck/should_fail/tcfail033.stderr
index f2b13dc..35db1ce 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail033.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail033.stderr
@@ -1,9 +1,9 @@
  
 tcfail033.hs:4:
-    Occurs check: cannot construct the infinite type: aMq = (aMq, aMt)
-    Expected: aMu (aMq, aMt)
-    Inferred: aMu aMq
-    In a pattern binding: buglet = [x | (x, y) <- buglet]
+    Occurs check: cannot construct the infinite type: $0 = ($0, $1)
+       Expected type: ($0, $1)
+       Inferred type: $0
+    In a list-comprehension qualifier: return x
 
 
 Compilation had errors