ghc/tests/typecheck/should_fail/tcfail031.stderr

   1
   2 tcfail031.hs:3:
   3     Couldn't match `Bool' against `Char'
   4         Expected type: Bool
   5         Inferred type: Char
   6     In the predicate expression: 'a'
   7     In the right-hand side of an equation for `f': if 'a' then 1 else 2