[project @ 2001-01-14 15:46:53 by simonmar]

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail043.stderr b/ghc/tests/typecheck/should_fail/tcfail043.stderr
index 52e2914..e55fca9 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail043.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail043.stderr
@@ -8,16 +8,3 @@ tcfail043.hs:38:
            False
        else
            if eq a (hd bs) then True else search a (tl bs)
-
-tcfail043.hs:40:
-    Ambiguous type variable(s) `a' in the constraint `Eq_ a'
-    arising from use of `eq' at tcfail043.hs:40
-    In the predicate expression: eq a (hd bs)
-    In the right-hand side of a lambda abstraction:
-       if gt (hd bs) a then
-           False
-       else
-           if eq a (hd bs) then True else search a (tl bs)
-
-Compilation had errors
-