blob: a00ccd536a051dc3298786b9a4abdb1cfebcbb94 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
T13233.hs:14:11: error:
Cannot use function with representation-polymorphic arguments:
(#,#) :: a -> a -> (# a, a #)
(Note that representation-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.)
Representation-polymorphic arguments:
a :: TYPE rep
a :: TYPE rep
T13233.hs:22:16: error:
Cannot use function with representation-polymorphic arguments:
(#,#) :: a -> b -> (# a, b #)
(Note that representation-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.)
Representation-polymorphic arguments:
a :: TYPE rep1
b :: TYPE rep2
|