Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail055.stderr
1
2 tcfail055.hs:3:8:
3     Couldn't match expected type ‘Float’ with actual type ‘Int’
4     In the expression: (x + 1 :: Int) :: Float
5     In an equation for ‘f’: f x = (x + 1 :: Int) :: Float