[project @ 1997-07-30 23:52:45 by sof]
[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_fail / tcfail055.stderr
index c3bd561..3e6317c 100644 (file)
@@ -1,7 +1,12 @@
  
-"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