summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T10495.stderr
blob: 450006b801a1a9cd4e5bfafe2c09bc1028d9fbe3 (plain)
1
2
3
4
5
6
7
8

T10495.hs:5:7: error: [GHC-10283]
    • Couldn't match representation of type ‘a0’ with that of ‘b0’
        arising from a use of ‘coerce’
    • In the expression: coerce
      In an equation for ‘foo’: foo = coerce
    • Relevant bindings include
        foo :: a0 -> b0 (bound at T10495.hs:5:1)