Values such as `Nil` and `None` should all be non-allocating, since they can fit in a special tag value. Each of these can be represented as `int to ptr 0`, whilst the data-carrying variants are heap-allocated reference types as before.
Values such as
NilandNoneshould all be non-allocating, since they can fit in a special tag value.Each of these can be represented as
int to ptr 0, whilst the data-carrying variants are heap-allocated reference types as before.