path: root/testsuite/tests/typecheck/should_fail/tcfail055.stderr

tcfail055.hs:3:8:
    Couldn't match expected type ‛Float’ with actual type ‛Int’
    In the expression: (x + 1 :: Int) :: Float
    In an equation for ‛f’: f x = (x + 1 :: Int) :: Float