---------- Forwarded message ---------- Subject: [ats-lang-users] ATS2-0.3.3 released
Hi, I am pleased to announce the release of ATS2-0.3.3 This is another big step towards supporting package-based programming in ATS. For examples of packages, please visit the following on-line directory: https://github.com/githwxi/ATS-Postiats/tree/master/libats/BUCS320 This is the 40th 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/ ###### The following packages are included in this release: ATS2-Postiats-0.3.3.tgz # requiring GMP ATS2-Postiats-contrib-0.3.3.tgz # contributed packages ATS2-Postiats-include-0.3.3.tgz # CATS-files w/ MIT license. I have included ATS2-Postiats-contrib (instead of releasing it separately). From this point on, I will gradually merge parts of ATS2-Postiats-contrib into ATS2-Postiats, and rely on external package management systems (e.g., npm) to handle those that are not selected for merging. 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. Please see below for some major additions and changes since the last release (ATS2-0.3.2). ###### 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. Supporting $tempenver in template implementation: This is a crucial addition in support of programming in ATS that may potentially be (very) deeply template-based!!! (* 2: Re-arranging (and duplicating) files containing code of template implementation may cause the need for $tempenver to change. It is not yet understood what the reason is behind all of this behavior. *) 3. Fixing a glitch involving tail-call optimization; please see the function hidexp_seq_simplify for details. 4. Supporting [reassume]: An assumed abstract type can be reassumed so as to make its (original) implementation available in the scope of the reassume-declaration. ############################## The End ############################## ------------------------------------------------------------ ------------------ 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 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/CAPPSPLqogGQdNTzq14%3D2F_PU8a9zrU32SHiPYro4Z61LhHCkhg%40mail.gmail.com.
