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