[MLton] space safety for structures

Stephen Weeks MLton@mlton.org
Fri, 2 Jul 2004 15:37:04 -0700


> Linking in CM SML/NJ is mostly about composing and filtering
> environments appropiately. I don't think it deals with tuples in the
> way you first suggested.

Maybe my model was true a long time ago -- section 4.8 of Compiling
with Continuations describes exactly the model I did.  That's probably
where I got the idea.