Re: Procedure proposal: call-with-escape-procedure

[Miroslav Silovic]

Marius Vollmer <address@hidden> writes:

> The important thing here is that continuations created by call/cc do
> not run the escape handlers established by escape-protect.

What about a normal exit from escape-protect? You don't know whether
you're coming back, and if escape-protect is (for example) supposed to
close a file, it should run.

Note that without this requirement, you could handle this by simply
signaling an error from the entering thunk of dynamic-wind. This
corresponds to the requirement that you can't do tricks with files in
the code that uses call/cc for backtracking (which is IMHO
reasonable).

-- 
How to eff the ineffable?