[project @ 2000-03-23 17:45:17 by simonpj]

[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 0a4804f..52e2914 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail043.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail043.stderr
@@ -9,5 +9,15 @@ tcfail043.hs:38:
        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