Hi, everyone, I am glad to announce the release of ATS2-0.0.4. See the following list for the added features and also bug-fixes. Also, ats2-contrib has been upgraded to version-0.0.3. I will send out a message about it later. Cheers, --Hongwei Date: November 18, 2013 This is the fourth 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. Fixing a glitch in handling ATS_DYNLOADFLAG (bug-2013-10-11) 2. Adding -D_ATS_EXCEPTION_NONE support for eliminating the code in the run-time of ATS2 that are exception-related. 3. Fixing a glitch in proof-assignment compilation (reported by MD) 4. Allowing overloading declarations to permeates OPENED namespace. 5. Fixing a glitch in handling overloading (bug-2013-10-30 reported by WB) 6. Fixing a glitch in handling flat arrays (bug-2013-10-30-2 reported by WB) 7. Fixing a glitch in handling arrays in structs (bug-2013-11-01 reported by WB) 8. Fixing a glitch in handling implementation of values (bug-2013-11-06 reported by HX) 9. All the occurances of LGPL-2.1 in ATS2/Postiats have been changed to GPL-3. LGPL-2.1 still occurs in certain packages contained in ats2-lang-contrib 10. Supporting that ATS-types be exported for use in C (extern typedef ...) 11. Supporting generation of ats-lang-tags via the command-line flag --taggen ###### end of message ######