Re: struct optimizations

[Andy Wingo]

Hi Ludo,

On Tue 26 Jan 2010 00:13, address@hidden (Ludovic Courtès) writes:

>> It seems that currently SIMPLE is for all pr *or* all pw slots.
>
> Fixed:

Cool :)

>> Then perhaps we can change SIMPLE_RW to be MUTABLE or something, to
>> indicate that all slots of this object are mutable.
>
> I ended up keeping the name ‘SIMPLE_RW’ because in theory there could be
> non-‘p’ mutable fields, i.e., non-simple structs with mutable fields,
> which aren’t interesting.

Wellll, not right now, no; but SIMPLE | MUTABLE is the same as your
current semantics of SIMPLE_RW. I can imagine MUTABLE being useful on
its own. But no, it's not useful right now, and should it become useful,
we can play some #define trickery.

Andy
-- 
http://wingolog.org/