docs: remove incorrect sentence about continuation barrier

It might have been true in the past. More likely, it was intended to
be true in the past, not really true, and not a good idea. Commit
544b7a3d53 may be relevant.
This commit is contained in:
Matthew Flatt 2018-10-29 09:37:51 -06:00
parent ec406dd301
commit 842c6b5a3f

View File

@ -915,9 +915,8 @@ 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. It
may remove continuation barriers only through jumps to continuations
that are a tail of the current continuation. A continuation barrier
when the replacement does not introduce any continuation barriers.
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