On Wed, 2 Dec 1998, Mark S. Miller wrote:
> 1) call
> 2) normal return
> non-local exit
> 3) throw
> 4) escaping (using an escape hatch)
> 5) send
> The fundamental diagram describes restrictions obeyed by all these. Case
> #3 is further restricted in that E only allows objects to be thrown if they
> are transitively constant. (I believe all Throwables defined under java.**
> (as of Java 1.1.6) meet this criteria.) This additional restriction is not
> yet enforced.
> Case #2 needs a different name, since the name "return", as used in E code,
> is invariably associated with case #4.
[#] "Finish" might be one reasonable possibility. I am quite happy with, e.g. "...and then the function finishes with a value of 3".