[R6RS] Semantics of `raise'

Michael Sperber sperber at informatik.uni-tuebingen.de
Tue Mar 7 13:08:50 EST 2006

William D Clinger <will at ccs.neu.edu> writes:

> Mike wrote:
>> > The SRFI 34 semantics for raise changes the current exception
>> > handler.  To repair the cause of the exception, and to continue
>> > from it, there would have to be some way to reinstall the
>> > exception handler that was removed by raise.
>> The repair is implicitly done by returning from the exception handler.
>> Maybe the wording says that poorly, but that was certainly the
>> intention, and is the semantics of the obvious implementation.
> Ah, I didn't realize that returning from the exception
> would reinstall the exception handler.  I don't think
> this is a very useful thing to know with SRFI 34, which
> doesn't specify the continuation to which you would be
> returning.

No, but at the beginning of this thread I suggested tightening up the
specification to that effect, i.e. to call the handler with a
continuation equivalent to that of raise except for its exception
handler.  That's what I was referring to.

Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla

More information about the R6RS mailing list