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