categorifier icon indicating copy to clipboard operation
categorifier copied to clipboard

Handle unboxed tuples caused by `-funbox-strict-fields`

Open zliu41 opened this issue 3 years ago • 2 comments

Handle unboxed tuples caused by -funbox-strict-fields

(Extricated from https://kitty-hawk.atlassian.net/browse/SW-3652)

zliu41 avatar Apr 15 '22 16:04 zliu41

Should we mention this in the README, and perhaps set -fno-unbox-strict-fields in the DynFlagsPlugin (assuming I ever get around to adding it).

sellout avatar Apr 15 '22 20:04 sellout

Yeah, I can add it to the README when I get around to finding a suitable example. The one we encountered is

Linear.V3.$wcross :: forall a. Num a => a -> a -> a -> a -> a -> a -> (# a, a, a #)

And of course there's no HasRep (# C Double, C Double, C Double #).

zliu41 avatar Apr 15 '22 20:04 zliu41