From 27aa99944657c5827eee3772f715df7dd971d1e0 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 2 Nov 2012 18:30:47 -0400 Subject: [PATCH] Fix docs on continuation barriers Closes PR 13085 --- collects/scribblings/reference/eval-model.scrbl | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/collects/scribblings/reference/eval-model.scrbl b/collects/scribblings/reference/eval-model.scrbl index 1c1e86a6b6..6cdbf66c86 100644 --- a/collects/scribblings/reference/eval-model.scrbl +++ b/collects/scribblings/reference/eval-model.scrbl @@ -683,13 +683,14 @@ the marks associated with the relevant frames are also captured. A @deftech{continuation barrier} is another kind of continuation frame that prohibits certain replacements of the current continuation with another. Specifically, a continuation can be replaced by another only -when the replacement does not introduce any continuation barriers (but -it may remove them). A continuation barrier thus prevents ``downward -jumps'' into a continuation that is protected by a barrier. Certain operations -install barriers automatically; in particular, when an exception -handler is called, a continuation barrier prohibits the continuation -of the handler from capturing the continuation past the exception -point. +when the replacement does not introduce any continuation barriers. It +may remove continuation barriers only through jumps to continuations +that are a tail of the current continuation. A continuation barrier +thus prevents ``downward jumps'' into a continuation that is protected +by a barrier. Certain operations install barriers automatically; in +particular, when an exception handler is called, a continuation +barrier prohibits the continuation of the handler from capturing the +continuation past the exception point. A @deftech{escape continuation} is essentially a derived concept. It combines a prompt for escape purposes with a continuation for