Fwd: ATS2-0.1.1 released (fwd)

[Hongwei Xi]

---------- Forwarded message ----------
Date: Wed, 30 Jul 2014 19:22:41 -0400 (EDT)
From: Hongwei Xi <hw...@cs.bu.edu>
To: ats-lang-users@lists.sourceforge.net
Subject: ATS2-0.1.1 released

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:

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/

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

[Alex Chen]

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

[Alex Chen]

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

-- Alex

[Alex Chen]

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

-- Alex

[Yannick Duchêne]

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)

[Hongwei Xi]

$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.

--Hongwei

--
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.