I have some clarification questions about the new pdd20 on lexical variables -- likely stemming from my having been out of it for so long. Also I am happy to send a patch to pdd20 capturing these clarifications once I am sure I understand things correctly.
1. What is expected to be in P0 in: .lex "$a", P0 2. Should we provide a way for a compiler to provide depths to the find_lex and store_lex ops if it chooses to? 3. 'Call frame' is mentioned often--what is a call frame in the context of continuation passing style? 4. In the section "Closure creation: Capturing the lexical environment", LexPad is used a couple of times when LexEnv is meant, right? 5. Thinking about closure support vs. outer support - the difference and the need for both mechanisms is not clear to me. 6. The pdd mentions walking the call stack to find frames ... but is there a call stack? And finding lexpads on the call stack makes me think of dynamic variable binding rather than lexical? 7. Finally, what is the status of the implementation? (As an aside is there interest in having the names of the invoke ops more consistent, say: callcc and callcc_method; or invokecc and invokecc_method?) Jonathan