[project @ 2000-12-12 17:21:40 by simonmar]

[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 2655db9..f6f2a65 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail033.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail033.stderr
@@ -1,9 +1,6 @@
- 
-tcfail033.hs:4:
-    Occurs check: cannot construct the infinite type: aM8 = (aM8, aMb)
-    Expected: aMc (aM8, aMb)
-    Inferred: aMc aM8
-    In a pattern binding: buglet = [x | (x, y) <- buglet]
-
 
-Compilation had errors
+tcfail033.hs:4:
+    Occurs check: cannot construct the infinite type: t = (t, t1)
+       Expected type: (t, t1)
+       Inferred type: t
+    In a list-comprehension qualifier: return x