Second draft: Sum Type by Struct

Richard (Rikki) Andrew Cattermole richard at cattermole.co.nz
Fri Sep 11 22:12:16 UTC 2026


On 12/09/2026 10:07 AM, Per Nordlöw wrote:
> On Thursday, 10 September 2026 at 17:56:21 UTC, Richard (Rikki) Andrew 
> Cattermole wrote:
>> No.
> 
> Can you please give a motive to why you don't want to support this? And 
> I don't understand why you are pasting the code failure. The code works 
> for me.
Bit packing requires assumptions.

The bottom bits are used, it is not a modulas of a the type size.

The top bits are target specific, and are allowed to prevent the GC 
seeing it.

The code demonstrated the bottom bits, and you are already aware of the 
top bits.



More information about the dip.development mailing list