[project @ 1998-04-17 15:58:37 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 993aef6..f594162 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail014.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail014.stderr
@@ -1,25 +1,10 @@
  
-tcfail014.hs:5: Cannot construct the infinite type (occur check)
-                   `oaCj' = `oaCj -> oaCi'
-    Expected: `oaCj -> oaCi'
-    Inferred: `oaCj'
-    In an equation for function `h': `h z = z z'
-    In an equation for function `g':
-       `g y
-          = h PrelBase.+ 2
-          where
-              h z = z z'
-    In an equation for function `f':
-       `f x
-          = g PrelBase.+ 1
-          where
-              g y
-                = h PrelBase.+ 2
-                where
-                    h z = z z'
- 
-tcfail014.hs:5: No instance for: `PrelBase.Num (taCG -> taCI)'
-    arising from use of `PrelBase.+' at tcfail014.hs:5
+tcfail014.hs:5:
+    Occurs check: cannot construct the infinite type: aN3 = aN3 -> aN5
+    Expected: aN3
+    Inferred: aN3 -> aN5
+    In the first argument of `z', namely `z'
+    In an equation for function `h': h z = z z
 
 
 Compilation had errors