ATS2-0.1.12 released

Hi,

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

The official website for ATS is:

http://www.ats-lang.org

The following packages are included in this release:

ATS2-Postiats-0.1.12.tgz
ATS2-Postiats-contrib-0.1.12.tgz
ATS2-Postiats-include-0.1.12.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 since the
last release (ATS2-0.1.11).

Cheers!

–Hongwei

This is the 21st 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. Fixing a bug involving the sequentiality of pattern matching.
    Please see doc/BUGS/bug-2015-04-15.dats for more on this one.
  2. Improving s2exp_syneq2 by adding a couple of missing cases:
    S2Edatcontyp and S2Edatconptr
  3. Adding patterns of the form: $tup(…) and $rec(…)
  4. Renaming the option -CSignore as --constraint-ignore:
    patscc --constaint-ignore
  5. Supporting the option to disable tail-call optimization:
    patscc --tlcalopt-disable
    patsopt --tlcalopt-disable
  6. Supporting s2rt_float and static floating-points
  7. Supporting s2rt_string and static string constants
  8. If undefined, ATS_EXTERN_PREFIX is assumed to have the value:
    ATS_EXTERN_PREFIX”.
  9. no exporting of r(), w() and rw() from prelude/basics_dyn.sats
  10. Fixing bug-2015-05-13:
    Handling of staloaded template implementations was incorrect
  11. Dot-symbol overloading is required to be of functional style.
    For instance,
    point.x changes to point.x()
    point.y changes to point.y()

One dashboard for servers and applications across Physical-Virtual-Cloud
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
ats-lang-users mailing list
ats-lan...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ats-lang-users

The reason behind this mystery is this:

To initiate a block of external code, ‘%{’ must be the first two leading
characters of a line.
Similarly, to close a block of external code, ‘%}’ must also be the first
two leading characters
of a line.

This design makes it easy to handle the case where the token ‘%{’ itself is
part of the
extern code being included.On Monday, May 18, 2015 at 11:44:30 PM UTC-4, Yannick Duchêne wrote:

Le mardi 19 mai 2015 05:23:52 UTC+2, Yannick Duchêne a écrit :

This may need to be confirmed by others, as this looks strange, I
encounter inconsistencies with parsing.

(JS) %{ function something() { return null; } %}
(JS) %{ function something() { return null; } %}
I got an error about on line #1 column #8: “error(parsing): the token is
discarded.”

If I change the first line:
(JS)
%{ function something() { return null; } %}
(JS) %{ function something() { return null; } %}

Now there is no more error although the second block has the same layout
as the one which could not be parsed on the first line in the first case.

Or may be this is just the syntax for blocks which is special.

This one seems OK for one-liners:
(JS)
%{ function something() { return null; }
%}

but in the library directory, the directory is named
ats2-postiats-0.1.11

Where can I find this library directory?On Sat, May 16, 2015 at 4:06 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

I updated using the ATS2-C9-install.sh script given in another thread, and
noticed something strange: patsopt -version says version 0.1.12 but in
the library directory, the directory is named ats2-postiats-0.1.11. I
checked this was already the case before this update.

Le samedi 16 mai 2015 20:12:06 UTC+2, gmhwxi a écrit :

---------- Forwarded message ----------

Hi,

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

The official website for ATS is:

http://www.ats-lang.org

The following packages are included in this release:

ATS2-Postiats-0.1.12.tgz
ATS2-Postiats-contrib-0.1.12.tgz
ATS2-Postiats-include-0.1.12.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 since the
last release (ATS2-0.1.11).

Cheers!

–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/e8b9d959-91d7-41be-b412-b16f99f3ed2b%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/e8b9d959-91d7-41be-b412-b16f99f3ed2b%40googlegroups.com?utm_medium=email&utm_source=footer
.

I updated using the ATS2-C9-install.sh script given in another thread, and
noticed something strange: patsopt -version says version 0.1.12 but in
the library directory, the directory is named ats2-postiats-0.1.11. I
checked this was already the case before this update.Le samedi 16 mai 2015 20:12:06 UTC+2, gmhwxi a écrit :

---------- Forwarded message ----------

Hi,

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

The official website for ATS is:

http://www.ats-lang.org

The following packages are included in this release:

ATS2-Postiats-0.1.12.tgz
ATS2-Postiats-contrib-0.1.12.tgz
ATS2-Postiats-include-0.1.12.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 since the
last release (ATS2-0.1.11).

Cheers!

–Hongwei

---------- Forwarded message ----------

Hi,

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

The official website for ATS is:

http://www.ats-lang.org

The following packages are included in this release:

ATS2-Postiats-0.1.12.tgz
ATS2-Postiats-contrib-0.1.12.tgz
ATS2-Postiats-include-0.1.12.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 since the
last release (ATS2-0.1.11).

Cheers!

–Hongwei

This may need to be confirmed by others, as this looks strange, I encounter
inconsistencies with parsing.

(JS) %{ function something() { return null; } %}
(JS) %{ function something() { return null; } %}
I got an error about on line #1 column #8: “error(parsing): the token is
discarded.”

If I change the first line:
(JS)
%{ function something() { return null; } %}
(JS) %{ function something() { return null; } %}

Now there is no more error although the second block has the same layout as
the one which could not be parsed on the first line in the first case.

---------- Forwarded message ----------

Hi,

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

The official website for ATS is:

http://www.ats-lang.org

The following packages are included in this release:

ATS2-Postiats-0.1.12.tgz
ATS2-Postiats-contrib-0.1.12.tgz
ATS2-Postiats-include-0.1.12.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 since the
last release (ATS2-0.1.11).

Cheers!

–Hongwei

Are the sources in src still ATS1 as they use to be (and may still be) or
are they now ATS2?

but in the library directory, the directory is named
ats2-postiats-0.1.11

Where can I find this library directory?

This is the directory which contains the bin directory where the compiler
binaries are installed. For me it’s:
/home/yannick/apps/ats/lib/ats2-postiats-0.1.11 (buiding after
./configure --prefix=/home/yannick/apps/ats).

ATS2 is implemented in ATS1.

There is currently no plan to implement ATS2 in ATS2 itself.On Mon, May 18, 2015 at 3:26 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

Le samedi 16 mai 2015 20:12:06 UTC+2, gmhwxi a écrit :

---------- Forwarded message ----------

Hi,

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

The official website for ATS is:

http://www.ats-lang.org

The following packages are included in this release:

ATS2-Postiats-0.1.12.tgz
ATS2-Postiats-contrib-0.1.12.tgz
ATS2-Postiats-include-0.1.12.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 since the
last release (ATS2-0.1.11).

Cheers!

–Hongwei

Are the sources in src still ATS1 as they use to be (and may still be)
or are they now ATS2?


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/301f32b6-d0c3-4147-a0f4-0535004bc0b9%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/301f32b6-d0c3-4147-a0f4-0535004bc0b9%40googlegroups.com?utm_medium=email&utm_source=footer
.

but in the library directory, the directory is named
ats2-postiats-0.1.11

Where can I find this library directory?

In the build directory named ATS2, is a file named VERSION, whose content
is 0.1.11. This must be the cause.

The clone command used is: git clone git://git.code.sf.net/p/ats2-lang/code ATS2

This may need to be confirmed by others, as this looks strange, I
encounter inconsistencies with parsing.

(JS) %{ function something() { return null; } %}
(JS) %{ function something() { return null; } %}
I got an error about on line #1 column #8: “error(parsing): the token is
discarded.”

If I change the first line:
(JS)
%{ function something() { return null; } %}
(JS) %{ function something() { return null; } %}

Now there is no more error although the second block has the same layout
as the one which could not be parsed on the first line in the first case.

Or may be this is just the syntax for blocks which is special.

This one seems OK for one-liners:
(JS)
%{ function something() { return null; }
%}

Thanks for pointing it out.

It is versioning error. I have fixed it.

I think you would not encounter any issue even if you do not re-install,On Sat, May 16, 2015 at 4:37 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

Le samedi 16 mai 2015 22:16:11 UTC+2, gmhwxi a écrit :

but in the library directory, the directory is named
ats2-postiats-0.1.11

Where can I find this library directory?

In the build directory named ATS2, is a file named VERSION, whose
content is 0.1.11. This must be the cause.

The clone command used is: git clone git:// git.code.sf.net/p/ats2-lang/code ATS2


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/71c1ff8c-bce4-4f14-a47b-b05102882a7a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/71c1ff8c-bce4-4f14-a47b-b05102882a7a%40googlegroups.com?utm_medium=email&utm_source=footer
.