ATS2-0.1.7 released (fwd)

Google Group
1

Hi,

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

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.7.tgz
ATS2-Postiats-contrib-0.1.7.tgz
ATS2-Postiats-include-0.1.7.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.7.

Cheers!

–Hongwei

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

  1. Improving some error-handling code.
  2. Fixing bug-2015-01-07.
    One can use $tempenver to explicitly declare that a dynamic
    variable should be added to the environment of each template instance
    within the scope of $tempenver-declaration.
    A running example using this feature is available at
    https://github.com/githwxi/ATS-Postiats/blob/master/doc/
    BUGS/bug-2015-01-07.dats
  3. Adding ATS2TUTORIAL/CHAP_RECURSION
  4. Adding ATS2TUTORIAL/CHAP_DATATYPES
  5. Fixing bug-2015-01-10:
    [pfobj_search_atview] is now stopped by either [lam] or [llam]
  6. Fixing various issues with multi-file compliation via patsopt
  7. Adding INT2PROGINATS/CHAP_ABSVTYPE/LockingAndUnlocking
  8. Bootstrapping via the newly released package ATS1-0.2.12
  9. Adding INT2PROGINATS/CHAP_ABSVTYPE/LinearChannelsForIPC