ATS2-0.1.4 released

Google Group
1

I want to add that the Linux kernel programming code
I intend to post shortly will be needing this version of ATS2.On Thursday, October 23, 2014 11:35:52 PM UTC-4, gmhwxi wrote:

---------- Forwarded message ----------
From: Hongwei Xi <hwxi@… hw...@bu.edu>
Date: Thu, Oct 23, 2014 at 11:33 PM
Subject: [ats-lang-users] ATS2-0.1.4 released
To: ats-lan...@lists.sourceforge.net

Hi,

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

The official website for ATS is:

http://www.ats-lang.org

which has been overhauled recently.

The following packages are included in this release:

ATS2-Postiats-0.1.4.tgz
ATS2-Postiats-contrib-0.1.4.tgz
ATS2-Postiats-include-0.1.4.tgz

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 in ATS2-0.1.4.

Cheers!

–Hongwei

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

  1. Fixing the initialization of stacked allocated arrays:
    var A0 = @[int]4 // A0 = ?,?,?,?
    var A1 = @[int]4 // A1 = 1,1,1,1
    var A2 = @[int]4 // A2 = 1,2,1,2
    var A3 = @[int]4 // A3 = 1,2,3,1
    var A4 = @[int]4 // A4 = 1,2,3,4
    var A5 = @[int]4 // A5 = 1,2,3,4
  2. Fixing hidexp_is_lvalue:
    handling sequencing-expressions is supported
  3. Support for lazy-evaluation is added to atscc2js
  4. ATStmpdec_void(…) is commented out in the generated C code
  5. [patscc] is given a flag ‘-verbose’ for controlling verbosity
    (*

HX: it is dropped:

  1. [patscc] now passes the flag -Wl,warn-common to [gcc] by default
    *)

ats-lang-users mailing list
ats-lan...@lists.sourceforge.net
ats-lang-users List Signup and Options

2

FYI.On Fri, Oct 24, 2014 at 10:51 PM, Hongwei Xi hw...@bu.edu wrote:

Sorry.

I got the version number wrong. I used 0.1.3 but
it should have been 0.1.4. I have uploaded a fixed
version. There is really no need to re-install unless
you do care about the version number.

By the way, I would like to point out that ATS2-0.1.4
was packaged based on the C code generated by ATS/Geizella,
an OCaml implementation of ATS1. This is different from
the usual packaging practice, which uses the C code generated
by ATS/Anairiats, an ATS1 implementation of ATS1. So in
case ATS/Anairiats is lost for whatever reason, we still
have ATS/Geizella to bootstrap ATS2 :slight_smile:

Cheers,

–Hongwei

---------- Forwarded message ----------
Date: Thu, 23 Oct 2014 23:33:31 -0400 (EDT)
From: Hongwei Xi hw...@cs.bu.edu
To: ats-lan...@lists.sourceforge.net
Subject: ATS2-0.1.4 released

Hi,

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

The official website for ATS is:

http://www.ats-lang.org

which has been overhauled recently.

The following packages are included in this release:

ATS2-Postiats-0.1.4.tgz
ATS2-Postiats-contrib-0.1.4.tgz
ATS2-Postiats-include-0.1.4.tgz

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 in ATS2-0.1.4.

Cheers!

–Hongwei

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

  1. Fixing the initialization of stacked allocated arrays:
    var A0 = @[int]4 // A0 = ?,?,?,?
    var A1 = @[int]4 // A1 = 1,1,1,1
    var A2 = @[int]4 // A2 = 1,2,1,2
    var A3 = @[int]4 // A3 = 1,2,3,1
    var A4 = @[int]4 // A4 = 1,2,3,4
    var A5 = @[int]4 // A5 = 1,2,3,4
  2. Fixing hidexp_is_lvalue:
    handling sequencing-expressions is supported
  3. Support for lazy-evaluation is added to atscc2js
  4. ATStmpdec_void(…) is commented out in the generated C code
  5. [patscc] is given a flag ‘-verbose’ for controlling verbosity
    (*

HX: it is dropped:

  1. [patscc] now passes the flag -Wl,warn-common to [gcc] by default
    *)

ats-lang-users mailing list
ats-lan...@lists.sourceforge.net
ats-lang-users List Signup and Options