-
-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)