testsuite/tests/typecheck/should_compile/T14149.stderr


1
2
3
4
5
6


T14149.hs:8:5: error:
    • Couldn't match representation of type ‘Int’ with that of ‘Bool’
        arising from a use of ‘coerce’
    • In the expression: coerce (k :: Int)
      In an equation for ‘f’: f = coerce (k :: Int)