# ATS2-0.1.1 released (fwd)

**URL:** <https://discourse.ats-lang.org/t/ats2-0-1-1-released-fwd/287>\
**Category:** Google Group\
**Created:** [July 30, 2014, 11:33pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-1-released-fwd/287 "2014-07-30T23:33:30Z")\
**Posts on this page:** 6\
**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:** [July 30, 2014, 11:33pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-1-released-fwd/287/1 "2014-07-30T23:33:30Z")

</div>

Hi,

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

The following packages are included in this release:

ATS2-Postiats-0.1.1.tgz  
ATS2-Postiats-include-0.1.1.tgz

After installing ATS-Postiats-include, one can compile  
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 in ATS2-0.1.1.

Cheers!

–Hongwei

This is the 10th 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](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...

Here is a list of major additions and changes since the last release:

1. Adding support for checking funarg-pattern exhaustiveness
2. Adding run-time support for handling funarg-pattern matching failure
3. Default namespace is assumed for staloadloc if none is given explicitly.
4. Stopping non-template constants from being implemented in the body of a  
function (during type-checking)
5. Improving/fixing libats/stringbuf
6. Supporting the compilation of list-patterns:  
val+ $list(x1, x2, x3) = $list\_t{int}(1, 2, 3)  
val () = assertloc (x1 = 1 && x2 = 2 && x3 = 3)  
val+ $list(x1, x2, x3) = $list\_vt{int}(1, 2, 3) // freed  
val () = assertloc (x1 = 1 && x2 = 2 && x3 = 3)
7. Improving/fixing libats/deqarray and libats/dynarray

---

<div class="post-metadata">

**Author:** ![Alex\_Chen](https://avatars.discourse-cdn.com/v4/letter/a/b3f665/32.png) [@Alex\_Chen](https://discourse.ats-lang.org/u/Alex_Chen)\
**Post date:** [August 6, 2014, 8:45am UTC](https://discourse.ats-lang.org/t/ats2-0-1-1-released-fwd/287/2 "2014-08-06T08:45:36Z")

</div>

I also changed the code to staload the correct paths, but still didn’t work.

– AlexOn Wednesday, August 6, 2014 1:25:04 AM UTC-7, Alex Chen wrote:

> I think there might be some packaging changes here that caused the error  
> below. I’m trying to compile misc.dats file, and I got this error:
> 
> /home/ajchen/ats-test/misc.dats: 2095(line=102, offs=1) – 2159(line=103,  
> offs=52): error(1): the file  
> [{$ATSCNTRB}/libats-hwxi/testing/SATS/randgen.sats] is not available for  
> staloading.  
> exit(ATS): uncaught exception:  
> \_2home\_2hwxi\_2research\_2Postiats\_2git\_2src\_2pats\_error\_2esats\_\_FatalErrorException(1025)
> 
> I looked at the ATS2 contrib, and it has libats-/hwxi directory instead. I  
> tried to changed it to libats-hwxi, but compilation still didn’t go  
> through. I’ve tried setting my PATSHOMERELOC and also moving contrib  
> directory into PATSHOME. The error message complained about ATSCNTRB  
> variable? I tried setting that, but to no avail.
> 
> Thanks,  
> – Alex

---

<div class="post-metadata">

**Author:** ![Alex\_Chen](https://avatars.discourse-cdn.com/v4/letter/a/b3f665/32.png) [@Alex\_Chen](https://discourse.ats-lang.org/u/Alex_Chen)\
**Post date:** [August 6, 2014, 8:25am UTC](https://discourse.ats-lang.org/t/ats2-0-1-1-released-fwd/287/3 "2014-08-06T08:25:04Z")

</div>

I think there might be some packaging changes here that caused the error  
below. I’m trying to compile misc.dats file, and I got this error:

/home/ajchen/ats-test/misc.dats: 2095(line=102, offs=1) – 2159(line=103,  
offs=52): error(1): the file  
[{$ATSCNTRB}/libats-hwxi/testing/SATS/randgen.sats] is not available for  
staloading.  
exit(ATS): uncaught exception:  
\_2home\_2hwxi\_2research\_2Postiats\_2git\_2src\_2pats\_error\_2esats\_\_FatalErrorException(1025)

I looked at the ATS2 contrib, and it has libats-/hwxi directory instead. I  
tried to changed it to libats-hwxi, but compilation still didn’t go  
through. I’ve tried setting my PATSHOMERELOC and also moving contrib  
directory into PATSHOME. The error message complained about ATSCNTRB  
variable? I tried setting that, but to no avail.

Thanks,  
– Alex

---

<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:** [August 10, 2014, 2:57am UTC](https://discourse.ats-lang.org/t/ats2-0-1-1-released-fwd/287/4 "2014-08-10T02:57:40Z")

</div>

$showtype is called to show the type of a dynamic expression.

In your case, ‘list’ is an unresolved symbol. I have just made the  
type-error message more informative.  
It will be available in the next release.

–HongweiOn Sat, Aug 9, 2014 at 9:21 PM, ‘Yannick Duchêne’ via ats-lang-users \< [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com)\> wrote:

> I believe this is unexpected, so I post it here.
> 
> This tiny sample produces an uncaught exception in Postiats:
> 
> datatype list (a: t@ype) =  
> | nil (a) of ()  
> | cons (a) of (a, list a)
> 
> val \_ = $showtype list
> 
> Trying to type check, I get this output, produced by the `$showtype` line:
> 
> exit(ATS): uncaught exception:  
> \_2home\_2hwxi\_2research\_2Postiats\_2git\_2src\_2pats\_error\_2esats\_\_FatalErrorException  
> (1025)
> 
> Le jeudi 31 juillet 2014 01:33:31 UTC+2, gmhwxi a écrit :
> 
> > ---------- Forwarded message ----------  
> > Date: Wed, 30 Jul 2014 19:22:41 -0400 (EDT)  
> > From: Hongwei Xi [hw...@cs.bu.edu](mailto:hw...@cs.bu.edu)  
> > To: [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net)  
> > Subject: ATS2-0.1.1 released
> > 
> > Hi,
> > 
> > I am glad to announce the release of ATS2-0.1.1.
> 
> –  
> 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/550dd352-9824-42ca-9181-990b2dc4db59%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/550dd352-9824-42ca-9181-990b2dc4db59%40googlegroups.com)  
> [https://groups.google.com/d/msgid/ats-lang-users/550dd352-9824-42ca-9181-990b2dc4db59%40googlegroups.com?utm\_medium=email&utm\_source=footer](https://groups.google.com/d/msgid/ats-lang-users/550dd352-9824-42ca-9181-990b2dc4db59%40googlegroups.com?utm_medium=email&utm_source=footer)  
> .

---

<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:** [August 10, 2014, 1:21am UTC](https://discourse.ats-lang.org/t/ats2-0-1-1-released-fwd/287/5 "2014-08-10T01:21:07Z")

</div>

I believe this is unexpected, so I post it here.

This tiny sample produces an uncaught exception in Postiats:

datatype list (a: t@ype) =  
| nil (a) of ()  
| cons (a) of (a, list a)

val \_ = $showtype list

Trying to type check, I get this output, produced by the `$showtype` line:

exit(ATS): uncaught exception:  
\_2home\_2hwxi\_2research\_2Postiats\_2git\_2src\_2pats\_error\_2esats\_\_FatalErrorException  
(1025)Le jeudi 31 juillet 2014 01:33:31 UTC+2, gmhwxi a écrit :

> ---------- Forwarded message ----------  
> Date: Wed, 30 Jul 2014 19:22:41 -0400 (EDT)  
> From: Hongwei Xi \<hw…@cs.bu.edu \<javascript:\>\>  
> To: [ats-l...@lists.sourceforge.net](mailto:ats-l...@lists.sourceforge.net) \<javascript:\>  
> Subject: ATS2-0.1.1 released
> 
> Hi,
> 
> I am glad to announce the release of ATS2-0.1.1.

---

<div class="post-metadata">

**Author:** ![Alex\_Chen](https://avatars.discourse-cdn.com/v4/letter/a/b3f665/32.png) [@Alex\_Chen](https://discourse.ats-lang.org/u/Alex_Chen)\
**Post date:** [August 6, 2014, 8:52am UTC](https://discourse.ats-lang.org/t/ats2-0-1-1-released-fwd/287/6 "2014-08-06T08:52:57Z")

</div>

Never mind. I got it working after fixing the code for correctly loading  
the SATS and DATS files.

– AlexOn Wednesday, August 6, 2014 1:45:36 AM UTC-7, Alex Chen wrote:

> I also changed the code to staload the correct paths, but still didn’t  
> work.
> 
> – Alex
> 
> On Wednesday, August 6, 2014 1:25:04 AM UTC-7, Alex Chen wrote:
> 
> > I think there might be some packaging changes here that caused the error  
> > below. I’m trying to compile misc.dats file, and I got this error:
> > 
> > /home/ajchen/ats-test/misc.dats: 2095(line=102, offs=1) – 2159(line=103,  
> > offs=52): error(1): the file  
> > [{$ATSCNTRB}/libats-hwxi/testing/SATS/randgen.sats] is not available for  
> > staloading.  
> > exit(ATS): uncaught exception:  
> > \_2home\_2hwxi\_2research\_2Postiats\_2git\_2src\_2pats\_error\_2esats\_\_FatalErrorException(1025)
> > 
> > I looked at the ATS2 contrib, and it has libats-/hwxi directory instead.  
> > I tried to changed it to libats-hwxi, but compilation still didn’t go  
> > through. I’ve tried setting my PATSHOMERELOC and also moving contrib  
> > directory into PATSHOME. The error message complained about ATSCNTRB  
> > variable? I tried setting that, but to no avail.
> > 
> > Thanks,  
> > – Alex