blob: 1b84b9bf956762d841b868e895e3d28b5b9e6e07 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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 @rep2 @a @b :: a -> b -> (# a, b #)
Levity-polymorphic arguments:
a :: TYPE rep1
b :: TYPE rep2
|