[project @ 1997-07-31 00:05:10 by sof]

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

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail014.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail014.stderr
deleted file mode 100644 (file)
index 2515260..0000000
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail014.stderr
+++ /dev/null
@@ -1,21 +0,0 @@
- 
-tcfail014.hs:5: Cannot construct the infinite type (occur check)
-                   `o{-aHw-}' = `o{-aHw-} -> o{-aIe-}'
-    Expected: `o{-aHw-}'
-    Inferred: `o{-aHw-} -> o{-aIe-}'
-    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 PrelBase.+ 2
-                  where
-                      h   z       =   z   z'
- 
-tcfail014.hs:5: No instance for:
-                   `PrelBase.Num (t{-aHZ-} -> t{-aI0-})'
-    tcfail014.hs:5:
-       at a use of an overloaded identifier: `PrelBase.+'
-
-
-Compilation had errors