blob: 1bbe161967e21e3d3a2ee77e55dfd947205887e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T13233.hs:23:16: error:
A levity-polymorphic type is not allowed here:
Type: a
Kind: TYPE rep1
When trying to create a variable of type: a
T13233.hs:28:10: error:
Cannot use function with levity-polymorphic arguments:
mkWeak# :: a
-> b
-> (State# RealWorld -> (# State# RealWorld, c #))
-> State# RealWorld
-> (# State# RealWorld, Weak# b #)
(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 rep
|
