ATS2-0.2.2 released (fwd)

Google Group
1

Hi,

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

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

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:

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

The following packages are included in this release:

ATS2-Postiats-0.2.2.tgz
ATS2-Postiats-contrib-0.2.2.tgz
ATS2-Postiats-include-0.2.2.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 since the last release
(ATS2-0.2.1).

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 support for explicitly boxed types: boxed and boxed_vt
  2. Adding backup links to INT2PROGINATS, ATS2TUTORIAL, and EFFECTIVATS.
  3. Fixing a bug in typechecking loop invariants (see bug-2015-08-04).
  4. Adding [g0int_npow] and [g0float_npow] and overloading ** with them.
    For instance: (x+y)3 expands to x3 + 3x**2y + 3xy2 + y3
  5. Adding the_s2rtdatmap to the jsonization of generated constraints
    (for listing the inductively defined sorts used in the constraints)
  6. Supporting tail-call optimization for static function templates
  7. Supporting #codegen2 for datcon, datcontag, and fprint
  8. Supporting the use of $d2ctype for taking the type of a dynamic constant