blob: 70746fd60a8b0b17091bd65830e4cc103c549086 (
plain)
1
2
3
4
5
6
7
8
|
UnliftedNewtypesLevityBinder.hs:16:7: error:
Cannot use function with levity-polymorphic arguments:
IdentC :: a -> Ident 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
|