[ats-lang-users] ATS2-0.4.2 released

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

Hi,

It is my pleasure to announce the release
of ATS2-0.4.2. Note that this is the version
currently needed for compiling the ongoing
implementation of ATS3 (ATS/Xanadu).

------------------------------------------------
ATS-Postiats-0.4.2.tgz:
The same as ATS-Postiats-int-0.4.2.tgz
MD5:
900c43b69f544ddff738ebf864f98b06
SHA1:
76b7c817c3439858e42c4ff74edc226578e0ea1b
--
ATS2-Postiats-gmp-0.4.2.tgz:
MD5:
e2f0f6c38868bb6b85f77fd1d9222b23
SHA1:
a869ba92d673082cd30fc6c2368d3948eef772fa
--
ATS2-Postiats-int-0.4.2.tgz:
MD5:
900c43b69f544ddff738ebf864f98b06
SHA1:
76b7c817c3439858e42c4ff74edc226578e0ea1b
------------------------------------------------

This is the 53rd 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/

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

There are only a few minor modifications, which are primarily
needed for compiling the current (2020-11-01) implementation of ATS3.

1. Fixing the handling of an issue causing the compiler crash:
     the proof of the at-view of a local variable is not restored
     at the end of its scope.
     Please visit the following link for more details:
     https://groups.google.com/g/ats-lang-users/c/f9QVilhHMEM

2. Fixing bug-2020-10-14
     (for the omission of handling records when the exhaustiveness of
     pattern matching is tested)
     Kudos to Alex Dambaev for reporting it!

Please note that in this release, there are two variants of
the package released: The "gmp" variant depends on the GMP library and
the "int" variant does not depend on the GMP library. In this release
ATS2-Postiats-0.4.2.tgz is just the same as ATS2-Postiats-int-0.4.2.tgz.

######

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)