[project @ 2000-01-10 11:08:04 by simonmar]

[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 4b5304a..08b902e 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail014.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail014.stderr
@@ -1,17 +1,10 @@
- 
-tcfail014.hs:5: Cannot construct the infinite type (occur check)
-                   `oaEt' = `oaEt -> oaEv'
-    Expected: `oaEt -> oaEv'
-    Inferred: `oaEt'
+
+tcfail014.hs:5:
+    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'
-    In an equation for function `g':
-       `g y
-          = h + 2
-          where
-              h z = z z'
- 
-tcfail014.hs:5: No instance for: `Num (taEP -> taER)'
-    arising from use of `+' at tcfail014.hs:5
+    In the right-hand side of an equation for `h': z z
 
 Compilation had errors
+