Closures for Java (0.6) specification part b

[Neal Gafter]

On Sun, Dec 13, 2009 at 7:00 PM, Paul Benedict <pbenedict at apache.org> 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
specification.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/closures-dev/attachments/20091213/b6ae15e1/attachment.html