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

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail002.stderr b/ghc/tests/typecheck/should_fail/tcfail002.stderr
index a9e6a95..227b2f4 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail002.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail002.stderr
@@ -1,9 +1,10 @@
  
-tcfail002.hs:4: Cannot construct the infinite type (occur check)
-                   `take' = `[take]'
-    Expected: `[take]'
-    Inferred: `take'
-    In an equation for function `c': `c z = z'
+tcfail002.hs:4:
+    Occurs check: cannot construct the infinite type: t = [t]
+       Expected type: t
+       Inferred type: [t]
+    In the right-hand side of an equation for `c': z
 
 
 Compilation had errors
+