Fwd: [ats-lang-users] ATS2-0.2.12 released

[Hongwei Xi]

---------- Forwarded message ----------

Hi,

I am pleased to announce the release of ATS2-0.2.12.

This is the 35th 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.12.tgz # requiring libgmp
ATS2-Postiats-contrib-0.2.12.tgz # contributed packages
ATS2-Postiats-include-0.2.12.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.11).

######

Cheers,

--Hongwei

Computer Science Department
Boston University
111 Cummington Street
Boston, MA 02215

Email: hw...@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. Significantly expanding libatscc
2. Improving typechecking involving $delay and $ldelay
3. Changing symbolic to "%&+-./:=@~`^|*!?<>#" (that is, '$' is dropped)
4. Supporting both string_make_stream and string_make_stream_vt
5. Improving support for combinators in stream_vt, ML/list0 and ML/string
6. Introducing $tyrep(...) for outputing terms representing types in the
    generated code (so as to support direct use of C++ templates in ATS2)


------------------------------------------------------------------------------
_______________________________________________
ats-lang-users mailing list
ats-lang-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ats-lang-users

[Yannick Duchêne]

Just wanted to say Hi to all, and tell I don't forget about ATS, I just can't be at it, unfortunately for a long time I'm afraid, due to personal issues. Happy to see it has not been forgotten and it's still living. Hope this will be for as much long as possible.

Merry Christmas to all a bit early …

ats-lan...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ats-lang-users

[Yannick Duchêne]

Installing the updated version using `C9-ATS2-install.sh`, I got this error:

cat: output/DATS/ML/list0_dats.php: Aucun fichier ou dossier de ce type
cat: output/DATS/ML/array0_dats.php: Aucun fichier ou dossier de ce type

« Aucun fichier ou dossier de ce type » means “No such file or directory”. I will disable the PHP target, as I was to do something mainly with the JavaScript target.

Le jeudi 24 novembre 2016 17:00:36 UTC+1, gmhwxi a écrit :

[…]

[gmhwxi]

I think I have fixed the issue. Please delete ATS2-contrib and
try again.

[gmhwxi]

Hi Yannick,

Thanks for your interest and well-wishes!

I can tell that the JavaScript code you wrote for displaying/formating
the two ATS books helped many people learn ATS, and especially those
students who took my classes.

Cheers!

[Yannick Duchêne]

Le vendredi 2 décembre 2016 21:25:06 UTC+1, gmhwxi a écrit :

I think I have fixed the issue. Please delete ATS2-contrib and
try again.

Indeed, it works now (with Contrib from trunk). 

Just that the ATS version looks like it is still 0.2.10 instead of 0.2.12.

Talking about Contrib, I wondered if the one from GitHub and the one from SourceForge could get different names, as they are not interchangeable. The one from GitHub is OK to compile ATS but not the one from SourceForge, so may be a name like Contrib-Build-Dep for the one from GitHub.

[gmhwxi]

>>Just that the ATS version looks like it is still 0.2.10 instead of 0.2.12.

If you could tell me how this happened, I would like to fix it. Thanks!

>>Talking about Contrib, I wondered if the one from GitHub and the one from SourceForge could get different names, as they are not interchangeable. The one from GitHub is OK >>to compile ATS but not the one from SourceForge, so may be a name like Contrib-Build-Dep for the one from GitHub.

Currently, the ATS2-contrib at GitHub is referred to as ats2-contrib-github on
the ATS homepage: ats-lang.org.

The version of ATS2-contrib at sourceforge.net has never been seriously tested
and should probably be avoided at this moment.

[Yannick Duchêne]

Le mardi 6 décembre 2016 03:54:26 UTC+1, gmhwxi a écrit :

If you could tell me how this happened, I would like to fix it. Thanks!

Oops, sorry, I should have tell more.

That's the subdirectory in lib, which is named `ats2-postiats-0.2.10`  and the wrapper scripts in `bin` which says `PACKAGE_VERSION=0.2.10`. It is so, using the `C9-ATS2-install.sh` script.

I remember the same already occurred in the past.

[gmhwxi]

Thanks!

I made a note of it. So hopefully, this will not occur in the future.