[MLton] an analysis to flatten refs into tuples

Stephen Weeks MLton@mlton.org
Mon, 17 May 2004 15:14:27 -0700


> Didn't this notion get dumped because safe-for-space aspects were
> easier if you did all the selects at the same time?

Maybe.  It is certainly safer-for-space to do all the selects up
front, as we do for environment records.

But one can certainly still do all the selects up front while making
them more expilicit.