ghc/tests/typecheck/should_fail/tcfail031.stderr

   1
   2 tcfail031.hs:3:
   3     Couldn't match the type `Char' against `Bool'
   4         Expected: Char
   5         Inferred: Bool
   6         In the predicate expression: 'a'
   7         In an equation for function `f': f x = if 'a' then 1 else 2
   8
   9
  10 Compilation had errors