[project @ 2001-08-22 11:45:06 by sewardj]

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail014.stderr b/ghc/tests/typecheck/should_fail/tcfail014.stderr
index f594162..e6836fd 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail014.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail014.stderr
@@ -1,10 +1,7 @@
- 
+
 tcfail014.hs:5:
-    Occurs check: cannot construct the infinite type: aN3 = aN3 -> aN5
-    Expected: aN3
-    Inferred: aN3 -> aN5
+    Occurs check: cannot construct the infinite type: t = t -> t1
+       Expected type: t
+       Inferred type: t -> t1
     In the first argument of `z', namely `z'
-    In an equation for function `h': h z = z z
-
-
-Compilation had errors
+    in the definition of function `h': z z