blob: 837c1d45018fc354e4561196fdcc602abefe10b2 (
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
|
T13929.hs:29:24: error: [GHC-55287]
• The tuple argument in first position
does not have a fixed runtime representation.
Its type is:
a0 :: TYPE k00
Cannot unify ‘rf’ with the type variable ‘k00’
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
gunbox :: (:*:) f g p -> GUnboxed (f :*: g) (TupleRep [rf, rg])
(bound at T13929.hs:29:5)
T13929.hs:34:21: error: [GHC-55287]
• • 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])’
|
