# ATS2-0.2.4 released

**URL:** <https://discourse.ats-lang.org/t/ats2-0-2-4-released/331>\
**Category:** Google Group\
**Created:** [October 28, 2015, 4:43pm UTC](https://discourse.ats-lang.org/t/ats2-0-2-4-released/331 "2015-10-28T16:43:08Z")\
**Posts on this page:** 5\
**Page:** 1

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [October 28, 2015, 4:43pm UTC](https://discourse.ats-lang.org/t/ats2-0-2-4-released/331/1 "2015-10-28T16:43:08Z")

</div>

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](http://www.ats-lang.org)

ATS-Postiats is hosted at github:

> **[githwxi/ATS-Postiats](https://github.com/githwxi/ATS-Postiats)**
>
> ATS2: Unleashing the Potentials of Types and Templates - githwxi/ATS-Postiats

Major releases of ATS2 are available at:

> **[ats2-lang](https://sourceforge.net/projects/ats2-lang/)**
>
> Download ats2-lang for free. ATS2: Unleashing the potentials of types and templates. ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in...

Major releases of external packages for ATS2 are available at:

> **[ats2-lang-contrib](https://sourceforge.net/projects/ats2-lang-contrib/)**
>
> Download ats2-lang-contrib for free. External Contributions to the ATS2 PL System. This project primarily consists of external contributions made to the ATS2 programming language system in the forms of library packages, tutorials, examples, and all...

A google-group for discussing ATS and related issues is at:

[https://groups.google.com/forum/?fromgroups#!forum/ats-lang-users](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](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](mailto:ats-lan...@lists.sourceforge.net)  
[https://lists.sourceforge.net/lists/listinfo/ats-lang-users](https://lists.sourceforge.net/lists/listinfo/ats-lang-users)

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [November 26, 2015, 2:58pm UTC](https://discourse.ats-lang.org/t/ats2-0-2-4-released/331/2 "2015-11-26T14:58:40Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [December 15, 2015, 7:34am UTC](https://discourse.ats-lang.org/t/ats2-0-2-4-released/331/3 "2015-12-15T07:34:56Z")

</div>

> ---------- 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](mailto: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.

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [November 26, 2015, 2:16pm UTC](https://discourse.ats-lang.org/t/ats2-0-2-4-released/331/4 "2015-11-26T14:16:16Z")

</div>

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](mailto:ats-l...@lists.sourceforge.net) \<javascript:\>
> 
> Hi,
> 
> I am glad to announce the release of ATS2-0.2.4.
> 
> […]

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 15, 2015, 12:48pm UTC](https://discourse.ats-lang.org/t/ats2-0-2-4-released/331/5 "2015-12-15T12:48:46Z")

</div>

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](mailto: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.