Ejector

From Erights

Revision as of 22:02, 14 May 2009 by Kevin Reid (Talk)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

XXX Fill this out with more stuff

Tests

Check what happens when an ejector is called from within a finally block being executed during an ejection.

? escape a {
>   escape b {
>     try {
>       b("inner")
>     } finally { 
>       a("outer")
>     }
>   }
> }
# value: "outer"

Try-catch does not catch ejections.

? escape a {
>   try {
>     a("safe")
>   } catch p {
>     p
>   }
>   "fallthru"
> }
# value: "safe"

Ejectors have dynamic extent.

? def a
# value: <Resolver>
? escape bind a {}
? a()
# problem: Failed: Ejector must be enabled

This page is a stub; it should be expanded with more information. If doing so, check the original E web site and the mailing list archives for content which could be moved into this page.
Personal tools
more tools