---------- Forwarded message ---------- Hi,
I am glad to announce the release of ATS2-0.2.7. This is the 30th 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: 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/ 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.7.tgz # requiring libgmp ATS2-Postiats-contrib-0.2.7.tgz # contributed packages ATS2-Postiats-include-0.2.7.tgz # CATS-files w/ BSD-like license 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.6). ###### Cheers, --Hongwei Xi Computer Science Department Boston University 111 Cummington Street Boston, MA 02215 Email: h...@cs.bu.edu Url: http://www.cs.bu.edu/~hwxi Tel: +1 617 358 2511 (office) Fax: +1 617 353 6457 (department) ###### 1. Adding some basic functions into libats/ML/stdlib 2. Atexting is functioning; it has been used to syntax-hilite ATS code in docbook. 3. Refactoring libatsynmark to make it directly dependent on libatsopt 4. Automatically building libatsopt and libatsynmark when testing (travis-ci) 5. Automatically building INT2PROGINATS and ATS2TUTORIAL (thanks to Kiwamu Okabe) 6. Fixing bug-2016-05-13 involving pattern matching (see BUGs/bug-2016-05-13.dats) -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLpgdoLiuWYHhB7NxT5yNjv-xhBsn6MmMGgzjYiVmw%2BmRw%40mail.gmail.com.
