ghc/compiler/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 ::
   8             PrelBase.Int) ::
   9            PrelBase.Float'
  10
  11
  12 Compilation had errors