ghc/tests/typecheck/should_fail/tcfail043.stderr

   1
   2 tcfail043.hs:38:
   3     Ambiguous type variable(s) `a' in the constraint `Ord_ a'
   4     arising from use of `gt' at tcfail043.hs:38
   5     In the predicate expression: gt (hd bs) a
   6     In the right-hand side of a lambda abstraction:
   7         if gt (hd bs) a then
   8             False
   9         else
  10             if eq a (hd bs) then True else search a (tl bs)
  11
  12 tcfail043.hs:40:
  13     Ambiguous type variable(s) `a' in the constraint `Eq_ a'
  14     arising from use of `eq' at tcfail043.hs:40
  15     In the predicate expression: eq a (hd bs)
  16     In the right-hand side of a lambda abstraction:
  17         if gt (hd bs) a then
  18             False
  19         else
  20             if eq a (hd bs) then True else search a (tl bs)
  21
  22 Compilation had errors
  23