[MLton] ref flattening enabled
Fri, 23 Jul 2004 19:45:17 -0500
I am ashamed to say that I wasn't thinking so much of space safety as much as
of space efficiency, but ...
Is 2 really doable? Surely it would have to be some kind of approximation,
right? I.e., it would take some kind of must-alias analysis (i.e., this
variable must keep this object alive) to get this right.
For efficiency, I guess that if Dan Wang's box primitive went in then I could
at least forcibly stop the flattening (but not force the flattening).