ghc/tests/typecheck/should_fail/tcfail055.stderr

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