ats2-postiats-0.3.2:

0.3.2

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

1. Allowing overloads declared in staloadnm to be merged automatically
2. Initiating libatscc being moved from PATSCONTRIB to PATSHOME/contrib
   In particular, moving of Bacon.js and Worker in libatscc/libatscc2js
   is finished.
(*
//
HX-2017-02-01: Reverted!
// File search in ATS is intentionally different from done in C
//
3. Using pushb (push-from-the-back) to push a path permanently:
   fun the_pathlst_ppushb(x: path): void // see [pats_filename]
   fun the_IATS_dirlst_ppushb (dir: string): void // see [pats_global]
*)
4. Adding support for handling abstract types of unspecified size
5. Adding code into libats/BUCS320/. to support package-based programming
6. Introducing the compilation flag _ATS_CCOMP_ASSUME_CHECK_NONE_ to skip
   over checks that are otherwise required of assuming (i.e., implementing)
   abstract types
7. Moving a lot of code around due to packaging; mostly from PATSCONTRIB
   to PATSHOME/npm-utils
8. Adding support for 'where  end' (besides 'where {  }')
9. Fixing a minor glitch involving typechecking ifcase-expressions
10. Removing duplicates of overloaded dynamic constants and variables