ghc/tests/typecheck/should_fail/tcfail055.stderr

   1
   2 tcfail055.hs:3:
   3     Couldn't match the type `Int' against `Float'
   4         Expected: Int
   5         Inferred: Float
   6         In an expression with a type signature: x + 1 :: Int
   7
   8
   9 Compilation had errors