ghc/tests/typecheck/should_fail/tcfail055.stderr

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