FYI. I have just released ATS-0.2.10: https://sourceforge.net/projects/ats-lang/files/ The primary purpose of this release is to push out a version of ATS that can be used to compiler ATS2. ATS2 has been under active development for nearly 2.5 years and it is planned to be released for the first time in a few days. However, ATS will be maintained long after the release of ATS2. In particular, ATS will be relied upon to bootstrap ATS2 for quite some time into the future. For the users of ATS, it is time to make a swtich to ATS2. I certainly hope that you will be able to unleash the great potentials of the type system and template system of ATS2. Cheers! --Hongwei Computer Science Department Boston University 111 Cummington Street Boston, MA 02215 Email: hwxi@... Url: http://www.cs.bu.edu/~hwxi Tel: +1 617 358 2511 (office) Fax: +1 617 353 6457 (department)