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

tcfail055.hs:3:8: error: [GHC-83865]
    • 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