[MLton-devel] Minimizing space usage in ML (fwd)

[Matthew Fluet]

> > I thought from Matthew's mail that the idea would be that in RSSA you would
> > mark a pointer as being of type `pointer' (in the GC tables) and that this
> > would be a sign that the GC should not coallesce the object pointed to with
> > other equal objects, even if it was marked immutable. 
> 
> I didn't take it this way at all.  It's not the pointer to the object
> that matters, it's the object header that matters.  It's the header
> that specifies the layout (and someday mutability) of the object.  So,
> to do the sharing hack, we need to add a little information to the
> Object statement in RSSA, and propagate this through the backend into
> the Object statement header and objectTypes vector in the MACHINE
> program.

And the Vector_fromArray primitive would actually change the header word
from indexing to a mutable object to indexing to an immutable object.




-------------------------------------------------------
This sf.net emial is sponsored by: Influence the future 
of Java(TM) technology. Join the Java Community 
Process(SM) (JCP(SM)) program now. 
http://ads.sourceforge.net/cgi-bin/redirect.pl?sunm0002en
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel