ghc/compiler/tests/typecheck/should_fail/tcfail055.stderr

   1
   2 "tcfail055.hs", line 2:
   3     Couldn't match type "Int" against "Float".
   4     In an expression with a type signature: (x (+) 1 :: Int):: Float
   5 Fail: Compilation errors found
   6
   7 ghc: execution of the Haskell compiler had trouble