MonadIO
push_prompt_subcont
, to push a captured continuation along with the control delimiter. The primitive is used to implement shift and shift0 without leaking memory. The new version includes many optimizations, which reduce the size of captured continuations.continues in a separate document, ChangeLog-12.html