---------- Forwarded message ----------
From: Hongwei Xi <h...@bu.edu>
Date: Thu, Oct 13, 2016 at 1:29 PM
Subject: [ats-lang-users] ATS2-0.2.11 released
I am pleased to announce the release of ATS2-0.2.11.
This is the 34th release of ATS2, the successor of the
ATS (currently referred to as ATS1) programming language. The
compiler for ATS2 is given the name ATS/Positats, ATS2/Postiats
or simply Postiats.
The official website for ATS is:
ATS-Postiats is hosted at github:
Major releases of ATS2 are available at:
Major releases of external packages for ATS2 are available at:
A google-group for discussing ATS and related issues is at:
The following packages are included in this release:
ATS2-Postiats-0.2.11.tgz # requiring libgmp
ATS2-Postiats-contrib-0.2.11.tgz # contributed packages
ATS2-Postiats-include-0.2.11.tgz # CATS-files w/ BSD-like license
I have included ATS2-Postiats-contrib (instead of releasing it
separately) as it is truly by now an indispensible part of ATS2.
After installing ATS-Postiats-include, one can compile the C code
generated from ATS source without installing the ATS compiler. So
a convenient way to distribute software written in ATS is to simply
release the C code generated from the ATS source.
See below for some major additions and changes since the last
Computer Science Department
111 Cummington Street
Boston, MA 02215
Tel: +1 617 358 2511 (office)
Fax: +1 617 353 6457 (department)
Here is a list of major additions and changes since the last release:
1. Reorganizing: libc -> libats/libc (pervasive changes!!!)
2. FILEref-values are no longer closed automatically when embedded in
stream_vt (but FILEptr-values are still closed at the end)
3. Fixing bug-2016-10-08, which was reported by Hanwen. Thanks!
4. Significantly expanding libatscc
5. Adding support for stream_vt in the following compilers:
atscc2js, atscc2py3, atscc2scm, atscc2clj, atscc2php, atscc2pl
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
ats-lang-users mailing list
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to firstname.lastname@example.org.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit