Fwd: ATS2-0.2.7 released (fwd)

[Hongwei Xi]

---------- Forwarded message ----------

Hi,

I am glad to announce the release of ATS2-0.2.7.

This is the 30th 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:

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/

A google-group for discussing ATS and related issues is at:

https://groups.google.com/forum/?fromgroups#!forum/ats-lang-users

######

The following packages are included in this release:

ATS2-Postiats-0.2.7.tgz # requiring libgmp
ATS2-Postiats-contrib-0.2.7.tgz # contributed packages
ATS2-Postiats-include-0.2.7.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 release
(ATS2-0.2.6).

######

Cheers,

--Hongwei Xi

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

Email: hw...@cs.bu.edu
Url: http://www.cs.bu.edu/~hwxi
Tel: +1 617 358 2511 (office)
Fax: +1 617 353 6457 (department)

######

1. Adding some basic functions into libats/ML/stdlib
2. Atexting is functioning; it has been used to syntax-hilite ATS code
   in docbook.
3. Refactoring libatsynmark to make it directly dependent on libatsopt
4. Automatically building libatsopt and libatsynmark when testing (travis-ci)
5. Automatically building INT2PROGINATS and ATS2TUTORIAL (thanks to Kiwamu Okabe)
6. Fixing bug-2016-05-13 involving pattern matching (see BUGs/bug-2016-05-13.dats)