Re: [ats-lang-users] ATS2-0.3.8 released

[David <da...@fr...>]

Hi,

I have built source and binary ( x86_64 ) packages for CentOS 7.5 and
Fedora 28.

These were originally derived from Matthew Danish's packages.

They are available at www.fractal.zone/downloads if anyone is
interested in them.

Regards
David


On Sun, 2017-11-12 at 14:08 -0500, Hongwei Xi wrote:
> Hi,
> 
> I am pleased to announce the release of ATS2-0.3.8
> 
> This is the 45th 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.8.tgz # requiring GMP
> 
> MD5: 97ee260853a962895f5686e582b03bdb
> SHA1: 5fcbf6fc13fbf0083564d26cf8e31dc13ae0d810
> 
> ######
> 
> ATS2-Postiats-contrib-0.3.8.tgz # contributed packages
> ATS2-Postiats-include-0.3.8.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.7).
> 
> Cheers,
> 
> --Hongwei
> 
> Computer Science Department
> Boston University
> 111 Cummington Street
> Boston, MA 02215
> 
> Email: hw...@cs...
> 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. Adding libatscc/ML/option0
> 2. Adding libatscc/ML/matrix0
> 3. Minorly improving libatscc/ML/list0 and libatscc/ML/array0
> 4. Fixing missing cases in eval1_p2at (pats_dmacro2_eval1.dats)
> 5. Fixing and improving libats/funarray
> 6. Adding calls to the_dynconlst_add to ensure that every exception
>     constructor is declared in the generated C code.
> 7. Initiating building the "compiled" library libats/ML/COMPILE
> 8. Fixing a glitch in compiling polymorphic functions that call
>     function templates (auxmat_env in [pats_ccomp_template.dats])
>     A simple use case is found in doc/EXAMPLE/TESTATS/tempboxed.dats
> 9. Adding support for calling variadic functions in a type-safe way.
>     There is no attempt to add support for type-safe implementation
> of
>     variadic functions yet.
> 10. Supporting the user of the flag --gc for myatscc.
> 
> 
> -------------------------------------------------------------------
> -----------
> 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...@li...
> https://lists.sourceforge.net/lists/listinfo/ats-lang-users