diff options
Diffstat (limited to 'testsuite/tests/rep-poly/T13929.stderr')
-rw-r--r-- | testsuite/tests/rep-poly/T13929.stderr | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/testsuite/tests/rep-poly/T13929.stderr b/testsuite/tests/rep-poly/T13929.stderr new file mode 100644 index 0000000000..2b4d8a9768 --- /dev/null +++ b/testsuite/tests/rep-poly/T13929.stderr @@ -0,0 +1,27 @@ + +T13929.hs:29:24: error: + • • The tuple argument in first position does not have a fixed runtime representation: + GUnboxed f rf :: TYPE rf + • The tuple argument in second position does not have a fixed runtime representation: + GUnboxed g rg :: TYPE rg + • 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])’ + +T13929.hs:33:21: error: + • The unboxed sum result type does not have a fixed runtime representation: + GUnboxed (f :+: g) ('SumRep '[rf, rg]) :: TYPE ('SumRep '[rf, rg]) + • In the expression: (# gunbox l | #) + In an equation for ‘gunbox’: gunbox (L1 l) = (# gunbox l | #) + In the instance declaration for + ‘GUnbox (f :+: g) ('SumRep '[rf, rg])’ + +T13929.hs:34:21: error: + • The unboxed sum result type does not have a fixed runtime representation: + 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])’ |