> By unwinding I mean performing registered clean-ups I understand now. By unwinding I meant simply moving the stack pointer backwards. I never considered that

> By unwinding I mean performing registered clean-ups I understand now. By unwinding I meant simply moving the stack pointer backwards. I never considered that the word could carry more meaning than that. > If we are following a control flow that leaves a context in such a way that there is a possibility to resume there, we should simply. not touch anything. Agreed. The dynamic-wind situation seems somewhat insane. I hope to avoid it altogether. This weekend I'm planning to work on more control flow primitives, including a lightweight exception mechanism which doesn't capture the continuation. I think a finally/ensure function will be useful for cleanup in the case of non-resumable exceptions. > dynamically scoped variables My language doesn't have them. It's very much like Scheme with its nested environments.