Fwd: [ats-lang-users] ATS2-0.1.12 released

[Hongwei Xi]

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

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

[Yannick Duchêne]

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.

[Hongwei Xi]

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

Where can I find this library directory?

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

[Yannick Duchêne]

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?

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

[Yannick Duchêne]

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`

[Hongwei Xi]

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,

--

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.

[Yannick Duchêne]

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?

[Hongwei Xi]

ATS2 is implemented in ATS1.

There is currently no plan to implement ATS2 in ATS2 itself.

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

[Yannick Duchêne]

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

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.

[Yannick Duchêne]

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:

[gmhwxi]

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.