[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Procedure proposal: call-with-escape-procedure
From: |
Miroslav Silovic |
Subject: |
Re: Procedure proposal: call-with-escape-procedure |
Date: |
06 Mar 2001 13:52:12 +0100 |
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?
- Procedure proposal: call-with-escape-procedure, Martin Grabmueller, 2001/03/02
- Re: Procedure proposal: call-with-escape-procedure, Marius Vollmer, 2001/03/03
- Re: Procedure proposal: call-with-escape-procedure, Marius Vollmer, 2001/03/03
- Re: Procedure proposal: call-with-escape-procedure, Martin Grabmueller, 2001/03/05
- Re: Procedure proposal: call-with-escape-procedure, Marius Vollmer, 2001/03/05
- Re: Procedure proposal: call-with-escape-procedure, Marius Vollmer, 2001/03/05
- Re: Procedure proposal: call-with-escape-procedure, Martin Grabmueller, 2001/03/06
- Re: Procedure proposal: call-with-escape-procedure, Marius Vollmer, 2001/03/06
- Re: Procedure proposal: call-with-escape-procedure, Martin Grabmueller, 2001/03/06
- Re: Procedure proposal: call-with-escape-procedure, Marius Vollmer, 2001/03/06
- Re: Procedure proposal: call-with-escape-procedure,
Miroslav Silovic <=
- Re: Procedure proposal: call-with-escape-procedure, Marius Vollmer, 2001/03/06
- Re: Procedure proposal: call-with-escape-procedure, Miroslav Silovic, 2001/03/07
- Re: Procedure proposal: call-with-escape-procedure, Marius Vollmer, 2001/03/07
- Re: Procedure proposal: call-with-escape-procedure, Miroslav Silovic, 2001/03/12
- Re: Procedure proposal: call-with-escape-procedure, Marius Vollmer, 2001/03/13
- Re: Procedure proposal: call-with-escape-procedure, Miroslav Silovic, 2001/03/13
- Re: Procedure proposal: call-with-escape-procedure, Marius Vollmer, 2001/03/13