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

UnliftedNewtypesCoerceFail.hs:15:8: error:
    Cannot use function with representation-polymorphic arguments:
      coerce :: x -> y
    (Note that representation-polymorphic primops,
    such as 'coerce' and unboxed tuples, are eta-expanded
    internally because they must occur fully saturated.
    Use -fprint-typechecker-elaboration to display the full expression.)
    Representation-polymorphic arguments: x :: TYPE rep