## ats2-postiats-0.2.8:

    This is the 31st 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. Adding support for ifcase-expressions. Please see
       https://github.com/githwxi/ATS-Postiats/blob/master/doc/EXAMPLE/TESTATS/ifcase.dats
    2. atscc2py/libatscc2py changes to atscc2py3/libatscc2py3
    3. atscc2scm/libatscc2scm starts to be functional (but it is still a long way to go!)
    4. Adding support for jsonizing S2Ewithtype (wths2explst); some fixing for d2cst decl
    5. Improving patsolve_z3 to handle constraints on real numbers
    6. Improving libatscc in general; adding support for pygame in libatscc2py3
    7. Adding ATS-extsolve-smt2 based on the pilot work by Will Blair and Hanwen Wu; the
       command patsolve_smt2 turns ATS constraints in json format into those in smt-lib2
       format, which can then be solved with z3, cvc4, etc. In particular, constraints on
       reals can be handled in this way.
    8. Fixing a bug involving tuple/record compilation (see: doc/BUGS/bug-2016-06-26.dats)
    9. Circumventing a bug involving templates initiated with fnx (see: bug-2014-11-14.dats)
    10. Adding tupbox(...) and fprint_tupbox(...) for boxed tuples of length 1, 2, 3, and 4