blob: 16e3be33b2bb2aa6f17a2dc5823eafaa89c6e937 (
plain)
1
2
3
4
5
6
7
8
|
T14561.hs:12:9: error:
Cannot use function with levity-polymorphic arguments:
unsafeCoerce# :: a -> a
(Note that levity-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.)
Levity-polymorphic arguments: a :: TYPE r
|
