[e-lang] Joe-E library bugfix release out.

[Tyler Close]

On 6/7/07, Adrian Mettler <amettler at cs.berkeley.edu> wrote:
> Work on an updated verifier is underway.

While you're doing this, take a look at:

http://waterken.sourceforge.net/javadoc/src-html/org/ref_send/promise/eventual/Eventual.html#line.468

That line is a workaround for a bug in the Joe-E verifier's checking
of the use of this in a constructor. The current algorithm is too
restrictive in that it prevents use of an outer object's this pointer.
Line 472 should be allowed to directly reference Eventual.this.

Tyler

-- 
The web-calculus is the union of REST and capability-based security:
http://www.waterken.com/dev/Web/

Name your trusted sites to distinguish them from phishing sites.
https://addons.mozilla.org/firefox/957/