[project @ 1998-11-16 18:14:44 by simonm]

[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 3917d0e..2793d7a 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail014.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail014.stderr
@@ -1,10 +1,10 @@
  
 tcfail014.hs:5:
-    Occurs check: cannot construct the infinite type: aND = aND -> aNF
-    Expected: aND
-    Inferred: aND -> aNF
+    Occurs check: cannot construct the infinite type: $0 = $0 -> $1
+       Expected type: $0
+       Inferred type: $0 -> $1
     In the first argument of `z', namely `z'
-    In an equation for function `h': h z = z z
+    In the right-hand side of an equation for `h': z z
 
 
 Compilation had errors