diff options
Diffstat (limited to '076continuation.cc')
-rw-r--r-- | 076continuation.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/076continuation.cc b/076continuation.cc index 5311fd67..76b6abc1 100644 --- a/076continuation.cc +++ b/076continuation.cc @@ -31,6 +31,12 @@ //: * 'return-continuation-until-mark' can take ingredients to return just //: like other 'return' instructions. It just implicitly also returns a //: continuation as the first result. See continuation4.mu. +//: * Conversely, you can pass ingredients to a continuation when calling it, +//: to make it available to products of 'return-continuation-until-mark'. +//: +//: Inspired by James and Sabry, "Yield: Mainstream delimited continuations", +//: Workshop on the Theory and Practice of Delimited Continuations, 2011. +//: https://www.cs.indiana.edu/~sabry/papers/yield.pdf //: //: Caveats: //: * At the moment we can't statically type-check continuations. So we raise |