blob: 5365f7d6b058333f9725096bfa48393c020c585c (
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
|
T13929.hs:29:24: error:
• The tuple argument in first position
does not have a fixed runtime representation.
Its type is:
a0 :: TYPE c1
Cannot unify ‘rf’ with the type variable ‘c1’
because it is not a concrete ‘RuntimeRep’.
• In the expression: (# gunbox x, gunbox y #)
In an equation for ‘gunbox’:
gunbox (x :*: y) = (# gunbox x, gunbox y #)
In the instance declaration for
‘GUnbox (f :*: g) ('TupleRep '[rf, rg])’
• Relevant bindings include
x :: f p (bound at T13929.hs:29:13)
gunbox :: (:*:) f g p -> GUnboxed (f :*: g) ('TupleRep '[rf, rg])
(bound at T13929.hs:29:5)
T13929.hs:34:21: error:
• • The unboxed sum does not have a fixed runtime representation.
Its type is:
GUnboxed (f :+: g) ('SumRep '[rf, rg]) :: TYPE ('SumRep '[rf, rg])
• The unboxed sum does not have a fixed runtime representation.
Its type is:
GUnboxed (f :+: g) ('SumRep '[rf, rg]) :: TYPE ('SumRep '[rf, rg])
• In the expression: (# | gunbox r #)
In an equation for ‘gunbox’: gunbox (R1 r) = (# | gunbox r #)
In the instance declaration for
‘GUnbox (f :+: g) ('SumRep '[rf, rg])’
|