Closures for Java (0.6) specification part b

Neal Gafter neal at
Sun Dec 13 20:23:29 PST 2009

On Sun, Dec 13, 2009 at 7:00 PM, Paul Benedict <pbenedict at> wrote:

> Your last section says:
> > In this case an exception of type UnmatchedNonlocalTransfer is thrown.
> But the code example shows type UnmatchedTransfer.

meh.  It should be UnmatchedTransfer in both places.

> PS: Are you introducing a new Jump type too?

Since the underlying mechanism for implementing the transfer is a contract
between the compiler and itself, it need not be specified.  BGGA's prototype
uses the Jump type, which could be used to implement this specfication as
well, but it is not visible to Java programmers so it is not part of the
-------------- next part --------------
An HTML attachment was scrubbed...

More information about the closures-dev mailing list