[project @ 1999-01-23 17:57:35 by sof]

[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 68a7964..94522fa 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail033.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail033.stderr
@@ -1,9 +1,10 @@
  
-tcfail033.hs:4: Cannot construct the infinite type (occur check)
-                   `taGt' = `(taGt, taGw)'
-    Expected: `aaGy (taGt, taGw)'
-    Inferred: `aaGy taGt'
-    In a pattern binding: `buglet = [ x | (x, y) <- buglet ]'
+tcfail033.hs:4:
+    Occurs check: cannot construct the infinite type: t = (t, _116)
+       Expected type: (t, _116)
+       Inferred type: t
+    In a list-comprehension qualifier: return x
 
 
 Compilation had errors
+