[project @ 2001-03-01 15:36:35 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 edf14eb..e55fca9 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail043.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail043.stderr
@@ -1,13 +1,10 @@
- 
-tcfail043.hs:16:
-    Conflicting definitions for `and'
-       Imported from `Prelude' at tcfail043.hs:16
-       Defined at tcfail043.hs:42
- 
-tcfail043.hs:16:
-    Conflicting definitions for `null'
-       Imported from `Prelude' at tcfail043.hs:16
-       Defined at tcfail043.hs:57
 
-
-Compilation had errors
+tcfail043.hs:38:
+    Ambiguous type variable(s) `a' in the constraint `Ord_ a'
+    arising from use of `gt' at tcfail043.hs:38
+    In the predicate expression: gt (hd bs) a
+    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)