mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-20 03:30:27 +02:00
Code Activity

doc: Link exceptions and escape continuations.

Browse source 
* doc/ref/api-control.texi (Prompt Primitives): Mention exceptions.
  (Exception Terminology): Link to `call/ec'.
This commit is contained in:
Ludovic Courtès 2013-04-07 11:51:26 +02:00
parent 7d39b48875
commit bc3901092d
1 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

9
doc/ref/api-control.texi
View file

@ -582,7 +582,9 @@ One example where this optimization matters is @dfn{escape
continuations}. Escape continuations are delimited continuations whose
only use is to make a non-local exit---i.e., to escape from the current
continuation. Such continuations are invoked only once, and for this
reason they are sometimes called @dfn{one-shot continuations}.
reason they are sometimes called @dfn{one-shot continuations}. A common
use of escape continuations is when throwing an exception
(@pxref{Exceptions}).
The constructs below are syntactic sugar atop prompts to simplify the
use of escape continuations.
@ -1031,6 +1033,11 @@ to avoid the risk of confusion with POSIX signals.
This manual prefers to speak of throwing and catching exceptions, since
this terminology matches the corresponding Guile primitives.
The exception mechanism described in this section has connections with
@dfn{delimited continuations} (@pxref{Prompts}). In particular,
throwing an exception is akin to invoking an @dfn{escape continuation}
(@pxref{Prompt Primitives, @code{call/ec}}).
@node Catch
@subsubsection Catching Exceptions