ATS2-0.2.4 released

Google Group
1

Hi,

I am glad to announce the release of ATS2-0.2.4.

This is the 27th 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:

Major releases of ATS2 are available at:

Major releases of external packages for ATS2 are available at:

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.4.tgz # requiring libgmp
ATS2-Postiats-contrib-0.2.4.tgz # contributed packages
ATS2-Postiats-include-0.2.4.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.3).

Cheers,

–Hongwei Xi

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. Fixing a bug due to abstract types being given the ‘empty’ name.
  2. Adding libats/theGetters
  3. Fixing a bug in ATS-extsolve (involving the s2rtdatmap generation)
  4. Fixing a minor parsing bug in CATS-parsemit
  5. Adding libatsopt, the library version of patsopt; see utils/libatsopt
  6. Adding some ifdef-guards:
    ATS_EXTERN_DEF__ for guarding the definition of ATSextern()
    ATS_STATIC_DEF__ for guarding the definition of ATSstatic()
    ATS_INLINE_DEF__ for guarding the definition of ATSinline()
  7. Adding some examples to illustrate a way of using ATS+Emscripten
  8. Supporting evaluated expressions (of the form %(…)) in statics
  9. Generally improving libatscc2js and libatscc2erl
  10. With libatsopt(JS), patsopt can now run entirely inside the browser.
  11. Adding char2int1 and fixing add_bool_bool and mul_bool_bool

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

2

Yes, syntax/keywords should be stable. Further development of ATS will mostly attempt to add some meta-programming layers.------ Original message------From: ‘Yannick Duchêne’ via ats-lang-…Date: Thu, Nov 26, 2015 9:16 AMTo: ats-lang-users;Subject:Re: [ats-lang-users] ATS2-0.2.4 released
Hi,

Just wanted to know if the syntax and list of keywords/reserved words, is expected to be stable.
Le mercredi 28 octobre 2015 17:43:09 UTC+1, gmhwxi a écrit :
---------- Forwarded message ----------
From: Hongwei Xi <hwxi…>
Date: Wed, Oct 28, 2015 at 12:41 PM
Subject: [ats-lang-users] ATS2-0.2.4 released
To: ats-l...@lists.sourceforge.net

Hi,

I am glad to announce the release of ATS2-0.2.4.

[…]–
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/a1cd3ed8-d66c-44d9-88c6-ae67d63397c7%40googlegroups.com.

3

---------- Forwarded message ----------
From: Hongwei Xi <hwxi…>
Date: Wed, Oct 28, 2015 at 12:41 PM
Subject: [ats-lang-users] ATS2-0.2.4 released
To: ats-l...@lists.sourceforge.net <javascript:>

Hi,

I am glad to announce the release of ATS2-0.2.4.
[…]

There’s a funny issue: when I got the message “error(2): illegal static
application.”, it forget to put a new-line character right after, and the
next error message follows on the same line.

4

Hi,

Just wanted to know if the syntax and list of keywords/reserved words, is
expected to be stable.Le mercredi 28 octobre 2015 17:43:09 UTC+1, gmhwxi a écrit :

---------- Forwarded message ----------
From: Hongwei Xi <hwxi…>
Date: Wed, Oct 28, 2015 at 12:41 PM
Subject: [ats-lang-users] ATS2-0.2.4 released
To: ats-l...@lists.sourceforge.net <javascript:>

Hi,

I am glad to announce the release of ATS2-0.2.4.

[…]

5

Thanks for reporting. Fixed.On Tuesday, December 15, 2015 at 2:34:57 AM UTC-5, Yannick Duchêne wrote:

Le mercredi 28 octobre 2015 17:43:09 UTC+1, gmhwxi a écrit :

---------- Forwarded message ----------
From: Hongwei Xi <hwxi…>
Date: Wed, Oct 28, 2015 at 12:41 PM
Subject: [ats-lang-users] ATS2-0.2.4 released
To: ats-l...@lists.sourceforge.net

Hi,

I am glad to announce the release of ATS2-0.2.4.
[…]

There’s a funny issue: when I got the message “error(2): illegal static
application.”, it forget to put a new-line character right after, and the
next error message follows on the same line.