blob: 40a12ecd62f110b6d8de7c956bfe73599cf59e05 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
T13233_elab.hs:17:11: error:
Cannot use function with levity-polymorphic arguments:
(#,#) @rep @rep @a @a :: a -> a -> (# a, a #)
Levity-polymorphic arguments:
a :: TYPE rep
a :: TYPE rep
T13233_elab.hs:25:16: error:
Cannot use function with levity-polymorphic arguments:
/\(@(rep1 :: RuntimeRep)).
/\(@(rep2 :: RuntimeRep)).
/\(@(a :: TYPE rep1)).
/\(@(b :: TYPE rep2)).
(#,#) @rep1 @rep2 @a @b :: forall {rep1 :: RuntimeRep}
{rep2 :: RuntimeRep} {a :: TYPE rep1} {b :: TYPE rep2}.
a -> b -> (# a, b #)
Levity-polymorphic arguments:
a :: TYPE rep1
b :: TYPE rep2
T13233_elab.hs:33:10:
Cannot use function with levity-polymorphic arguments:
mkWeak# @rep @a @b @c :: a
-> b
-> (State# RealWorld -> (# State# RealWorld, c #))
-> State# RealWorld
-> (# State# RealWorld, Weak# b #)
Levity-polymorphic arguments: a :: TYPE rep
|
