blob: 6f1636e5448252d8b17be0781e0a1cbbb038094a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T13233.hs:22: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:27: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
|
