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
|