This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Source for wiki ExceptionHandlingCowan version 6

author

cowan

comment


    

ipnr

98.14.172.204

name

ExceptionHandlingCowan

readonly

0

text

= Design =

When a problem situation, or ''exception'', is detected
either by the implementation or by a
user program, a representation of that situation called a ''condition''
(which can be any Scheme object) is constructed, and the exception is
announced by an action called ''signaling
the condition''.  This action allows a dynamically established ''handler''
an opportunity to resolve the problem; the current handler is the value of
the SRFI 39 parameter `condition-handler`.  At any given time, only one handler
is active.

When a condition is signaled, the active handler is called with one
argument, a condition which represents the situation.  The
handler function will execute in the dynamic environment of the call to
`signal`, except that the value of ''condition-handler'' is re­bound
to match the dynamic handler state that was current at the point that the
handler function was established as the active handler.  This means that
handlers are not expected to handle exceptions within themselves, and may
re-raise an exception by simply calling ''raise'' with the same condition.
(In order to allow
a handler to handle its own exceptions, the handler may re-­establish itself as
a handler within its own body by rebinding `condition-handler` to itself;
this may create infinite loops if carelessly used.)

If a handler returns normally, the effect is undefined.
Returning to non-handler control is performed by calling a captured
continuation.  For example, a handler may return to the point where it was
signaled by invoking a continuation stored inside the condition.  Alternatively,
it may return to the point where it was made active by invoking a
continuation bound to a variable lexically visible to the handler.
In any case, the appropriate current handler will be restored as part of the
dynamic environment.

The initial condition handler is implementation-defined.  It generally invokes
a top-level exit continuation for the whole program, or the current
thread (if some concept of threading exists), possibly displaying
useful debugging information to some interested parties in some
implementation-specific way.  Implementations may provide
an interactive debugger that lets the programmer perform actions other
than invoking the top-level exit continuation, perhaps invoking retries
or other arbitrary continuations.

= Procedures =

  * `(condition-handler `[''new-handler'']`)`

This is a SRFI 39 parameter representing the current condition handler.
Invoking it with no
arguments returns the current handler; invoking it with one argument sets the
current handler.  Passing it to the `parameterize` syntax form causes it to be
dynamically rebound to a new handler.

  * `(signal `''object''`)`

This signals the condition ''object''.  It never returns normally.

  * `(error `''string''` . ` ''objects''`)`

This constructs a condition using ''string'' and the optional ''objects''
and signals it.  It is compatible with SRFI 23.

= Thanks =

Thanks to Taylor Campbell, Alaric Snell-Pym as the author of
ErrorsSnellPym, and Kent Pitman as the author of the ISLisp specification,
from all of whom I have derived inspiration.  They bear no responsibility
for infelicities in this proposal.

time

2010-07-08 14:21:08

version

6