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

Stephen Weeks MLton@mlton.org
Wed, 23 Oct 2002 09:34:40 -0700


> It never does any good to change a header word from immutable to
> mutable. 

Agreed.  But Matthew and I are proposing to go the other way.

> 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.

Agreed, as long as "EVER" means "EVER IN THE FUTURE".


-------------------------------------------------------
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