http://wiki.erights.org/mediawiki/index.php?title=Ejector&feed=atom&action=history
Ejector - Revision history
2024-03-19T02:26:55Z
Revision history for this page on the wiki
MediaWiki 1.15.5-7
http://wiki.erights.org/mediawiki/index.php?title=Ejector&diff=1787&oldid=prev
Kevin Reid at 22:02, 14 May 2009
2009-05-14T22:02:54Z
<p></p>
<p><b>New page</b></p><div>{{XXX|Fill this out with more stuff}}<br />
<br />
==Tests==<br />
<br />
Check what happens when an ejector is called from within a finally block being executed during an ejection.<br />
<br />
? escape a {<br />
> escape b {<br />
> try {<br />
> b("inner")<br />
> } finally { <br />
> a("outer")<br />
> }<br />
> }<br />
> }<br />
# value: "outer"<br />
<br />
<br />
Try-catch does not catch ejections.<br />
<br />
? escape a {<br />
> try {<br />
> a("safe")<br />
> } catch p {<br />
> p<br />
> }<br />
> "fallthru"<br />
> }<br />
# value: "safe"<br />
<br />
<br />
Ejectors have dynamic extent.<br />
<br />
? def a<br />
# value: <Resolver><br />
? escape bind a {}<br />
? a()<br />
# problem: Failed: Ejector must be enabled<br />
<br />
{{stub}}<br />
[[Category:ELib specification]]</div>
Kevin Reid