[project @ 1998-02-03 11:24:18 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 f510c22..460d6f3 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail033.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail033.stderr
@@ -1,8 +1,9 @@
  
-tcfail033.hs:4: Cannot construct the infinite type (occur check)
-                   `taHe' = `(taHe, taHh)'
-    Expected: `aaHj taHe'
-    Inferred: `aaHj (taHe, taHh)'
-    In a pattern binding: `buglet = [x | (x, y) <- buglet]'
+tcfail033.hs:4:
+    Occurs check: cannot construct the infinite type: aIB = (aIB, aIE)
+       Expected: aIF aIB
+       Inferred: aIF (aIB, aIE)
+       In a pattern binding: buglet = [x | (x, y) <- buglet]
+
 
 Compilation had errors