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