Re: How to deal with eventual sending with non-local returns
Kevin Reid <[email protected]>
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
On Nov 7, 2007, at 12:09, Rob Withers wrote: >> From: "Kevin Reid" <[email protected]> >> See http://www.erights.org/elang/kernel/EscapeExpr.html for more >> information and other unusual cases. > > This is where I constructed my example from. It doesn't cover the > explicit case of calling the ejector from the inside of an > eventually scheduled body. It only covers synchronous called cases. What it's inside doesn't matter, only at what time it is called. Anything eventual (i.e. in a separate turn) by definition occurs (observably) after all synchronous computation in the current turn. -- Kevin Reid <http://homepage.mac.com/kpreid/>