Wednesday, February 17, 2010

New Mint Release: r15116

I just created a new release of Mint and DrJava with Mint: February 17, 2010 (r15116). The release is available from the Mint implementation page:
There were some small changes in the approximation of weak separability to make the implementation match improvements in the paper more closely. It also disallows stitching in a Code<?> as a statement, because we can't statically know if we have to discard the result in a statement context or not.