---------- Forwarded message ---------- From: Hongwei Xi <h...@bu.edu> Date: Thu, Oct 13, 2016 at 1:29 PM Subject: [ats-lang-users] ATS2-0.2.11 released To: ats-lang-us...@lists.sourceforge.net
Hi, I am pleased to announce the release of ATS2-0.2.11. This is the 34th 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.11.tgz # requiring libgmp ATS2-Postiats-contrib-0.2.11.tgz # contributed packages ATS2-Postiats-include-0.2.11.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.10). ###### Cheers, --Hongwei 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) ###### Here is a list of major additions and changes since the last release: 1. Reorganizing: libc -> libats/libc (pervasive changes!!!) 2. FILEref-values are no longer closed automatically when embedded in stream_vt (but FILEptr-values are still closed at the end) 3. Fixing bug-2016-10-08, which was reported by Hanwen. Thanks! 4. Significantly expanding libatscc 5. Adding support for stream_vt in the following compilers: atscc2js, atscc2py3, atscc2scm, atscc2clj, atscc2php, atscc2pl ------------------------------------------------------------ ------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot _______________________________________________ ats-lang-users mailing list ats-lang-us...@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/ats-lang-users -- 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 email@example.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/CAPPSPLr72vOc5NggBni%3DSv5KLUHLEZ8NkdAeQTCM60HFd9jhbA%40mail.gmail.com.