ATS2-0.1.9 released

Google Group
1

Hi,

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

The official website for ATS is:

http://www.ats-lang.org

which has been overhauled recently.

The following packages are included in this release:

ATS2-Postiats-0.1.9.tgz
ATS2-Postiats-contrib-0.1.9.tgz
ATS2-Postiats-include-0.1.9.tgz

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 in ATS2-0.1.9.

Cheers!

–Hongwei

Here is a list of major additions and changes since the last release:

  1. Circumventing a Clang-3.5-O2 related bug that caused the generated
    patsopt to crash immediately. For more, please visit:
    https://groups.google.com/forum/#!topic/ats-lang-users/FSgjjkUURs4
  2. Fixing a bug in pats_tyerase:s2zexp_tyer:
    https://groups.google.com/forum/#!topic/ats-lang-users/SGpN2D991tA


3. Improving pats_trans2_p1at:p1at_tr_arg. See:
ATS-Postiats-test/contrib/test-hwxi/test03.dats
4. Improving the formatting of INT2PROGINATS and ATS2TUTORIAL
5. Having $showtype to also print out the sort information
6. Adding API for sdstring (simple dynamic strings) in ATS2-contrib
7. Adding $UN.prop_assert for asserting any proposition one needs
8. Adding flags -h/–help for patscc to print out usage information
9. Handling D2Coverload during the jsonization of level-2 syntax
10. Reporting a compilation error if HDEsif is encountered

Dive into the World of Parallel Programming The Go Parallel Website,
sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for
all
things parallel software development, from weekly thought leadership blogs
to
news, videos, case studies, tutorials and more. Take a look and join the
conversation now. http://goparallel.sourceforge.net/
ats-lang-users mailing list
ats-lan...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ats-lang-users