ATS2-0.1.1 released (fwd)

Google Group
1

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

ATS-Postiats is hosted at github:

Major releases of ATS2 are available at:

Major releases of external packages for ATS2 are available at:

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
2

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

3

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

4

$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> 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
To: 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.
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/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
.

5

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 <javascript:>
Subject: ATS2-0.1.1 released

Hi,

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

6

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