Hi, I am glad to announce the release of ATS-0.2.9. A (partial) list of the changes since the last release is given as follows: 1. Fixing some macros in ccomp/runtime/ats_exception.h 2. Removing the field tmpvar_root in tmpvar and related functions. 3. Adding support for using CMake to build projects written in ATS. Kudos to Hanwen! 4. $showtype support for debugging is added (2012-11-24) 5. Adding libats/linmap_skiplist for linear maps based on skip-lists. 6. ((<exp1>, ..., <exp2>)) -> @(<exp1>, ..., <exp2>) 7. If the assigned external name of a function is empty, then its internal name should be used in the place where its external name is needed. For example, the following declarations are equivalent: fun foo (x: int): void = "ext#" fun foo (x: int): void = "ext#foo" The following two are equivalent as well: fun bar (x: int): void = "mac#" fun bar (x: int): void = "mac#bar" Cheers, --Hongwei PS: I will send a message on the status of ATS2 (ATS/Postiats) later. 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)