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

[Henry Cejtin]

It never does any good to change a header word from immutable to mutable.  If
the header ever gets sete to immutable then the next GC might coalesce the
object with an equal (but not eq?) one, and then the mutation will incorrectly
change both.  With this hack in the GC it would still make sense to go the
other way, but nothing could be labelled immutable if it EVER gets mutated.


-------------------------------------------------------
This sf.net email 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