[ats-lang-users] (no subject)

[Hongwei Xi <hw...@bu...>]

Hi,

I am pleased to announce the release of ATS2-0.3.10.

######

First, many thanks to Brandon Barker for his generous
agreement to taking over the duty of packaging and releasing
ATS from this point on. As a matter of fact, he helped a
great deal package and release this version of ATS. Applause :)

######

------------------------------------------------
ATS2-0.3.10.tgz:
MD5: acb98ee91780cdde39c872203954d3b5
SHA1: 6a83800770cc50a7722c07e8c11122a901524ef8
------------------------------------------------

This is the 47th release of ATS2, the successor of the
ATS programming language. The compiler for ATS2 is given
the name ATS/Positats, ATS2/Postiats or simply Postiats.

The official website for ATS is:

http://www.ats-lang.org

ATS-Postiats is hosted at github:

https://github.com/githwxi/ATS-Postiats

Major releases of ATS2 are available at:

https://sourceforge.net/projects/ats2-lang/

Major releases of external packages for ATS2 are available at:

https://sourceforge.net/projects/ats2-lang-contrib/

######

The following two packages are in this release as well:

ATS2-Postiats-contrib-0.3.9.tgz # contributed packages
ATS2-Postiats-include-0.3.9.tgz # CATS-files w/ MIT license.

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.

Please see below for some major additions and changes since the last
release (ATS2-0.3.9).

######

Cheers,

--Hongwei

Computer Science Department
Boston University
111 Cummington Street
Boston, MA 02215

Email: hw...@cs...
Url: http://www.cs.bu.edu/~hwxi
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. Improving atscntrb-sdstring and atscntrb-hx-cstream
2. Changing "atscntrb" to "atscntrb-hx" in the names of almost all of
    the npm-based ATS packages contributed by myself (Hongwei). This is
    a pervasive change due the wide use of these packages.
3. Adding libats/ML/SATS/argvec.sats and libats/ML/SATS/argvec.dats
4. Adding share/SCRIPT/buildRelease.sh to automate build/release ATS