suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix docs on continuation barriers

Browse Source 
Closes PR 13085
This commit is contained in:
Asumu Takikawa 2012-11-02 18:30:47 -04:00
parent 4948ca0863
commit 27aa999446
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/scribblings/reference/eval-model.scrbl
View File

@ -683,13 +683,14 @@ the marks associated with the relevant frames are also captured.
A @deftech{continuation barrier} is another kind of continuation frame A @deftech{continuation barrier} is another kind of continuation frame
that prohibits certain replacements of the current continuation with that prohibits certain replacements of the current continuation with
another. Specifically, a continuation can be replaced by another only another. Specifically, a continuation can be replaced by another only
when the replacement does not introduce any continuation barriers (but when the replacement does not introduce any continuation barriers. It
it may remove them). A continuation barrier thus prevents ``downward may remove continuation barriers only through jumps to continuations
jumps'' into a continuation that is protected by a barrier. Certain operations that are a tail of the current continuation. A continuation barrier
install barriers automatically; in particular, when an exception thus prevents ``downward jumps'' into a continuation that is protected
handler is called, a continuation barrier prohibits the continuation by a barrier. Certain operations install barriers automatically; in
of the handler from capturing the continuation past the exception particular, when an exception handler is called, a continuation
point. 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 A @deftech{escape continuation} is essentially a derived concept. It
combines a prompt for escape purposes with a continuation for combines a prompt for escape purposes with a continuation for