ATS2-0.2.12

## ats2-postiats-0.2.12:

    0.2.12

    This is the 35th 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. Significantly expanding libatscc
    2. Improving typechecking involving $delay and $ldelay
    3. Changing symbolic to "%&+-./:=@~`^|*!?<>#" (that is, '$' is dropped)
    4. Supporting both string_make_stream and string_make_stream_vt
    5. Improving support for combinators in stream_vt, ML/list0 and ML/string
    6. Introducing $tyrep(...) for outputing terms representing types in the
       generated code (so that C++ templates can be used in ATS2 code directly)