New Mint Release: r15772

We have just made a new release of Mint and DrJava with Mint: September 16, 2010 (r15772). The latest release is, as always, available from the Mint implementation page:

We have added the edu.rice.cs.mint.runtime.MintSerializer class to it that can write code object, including CSP data, to a jar file (or whatever stream you like), and then restore it again. Here is a very simple example:

1
2
3
4
5
6

Code<Integer> c = <|123|>;
File f = new File(dir, "IntegerCode1.jar");
MintSerializer.save(c, "IntegerCode1", f);

Integer s = MintSerializer.load(f);
System.out.println(s);

The version of DrJava with Mint is based on the current trunk (and not on updated stable release of DrJava that was made available this week).

(Re-posted from The Java Mint Blog.)