summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T10715b.stderr
blob: d7d51829705d5998a0801b1151811f2662ef9fc9 (plain)
1
2
3
4
5
6
7
8
9

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