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

[Hongwei Xi]

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

Hi,

I am glad to announce the release of ATS2-0.1.8.
This version is primarily released for the purpose of
building Debian packages. If you have already installed
ATS2-0.1.7, then there is really no need to install this
one.

>From this point on, the 'patsopt' built based on
the defaut setting will no long invoke GC when called to
compile ATS source. If you need it to run with GC support,
try to build 'patsopt' using one of the following command-lines:

./configure && make GCFLAG=-D_ATS_GCBDW # using Boehm-GC
./configure && make GCFLAG=-D_ATS_GCATS # using GCATS (GC for ATS1)

Cheers!

--Hongwei

######

This is the 17th 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. GCATS (GC for ATS1) is no longer used by default to build patsopt.
    Some common command-lines for building patsopt are listed below:
    ./configure && make # using no GC
    ./configure && make GCFLAG=-D_ATS_GCBDW # using Boehm-GC
    ./configure && make GCFLAG=-D_ATS_GCATS # using GCATS (GC for ATS1)


------------------------------------------------------------------------------
New Year. New Location. New Benefits. New Data Center in Ashburn, VA.
GigeNET is offering a free month of service with a new server in Ashburn.
Choose from 2 high performing configs, both with 100TB of bandwidth.
Higher redundancy.Lower latency.Increased capacity.Completely compliant.
http://p.sf.net/sfu/gigenet
_______________________________________________
ats-lang-users mailing list
ats-lan...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ats-lang-users

[Hongwei Xi]

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

The former. It is about running the compiler (patsopt) with GC. It does not
affect the code generated by the compiler.

On Sun, Jan 25, 2015 at 5:26 PM, john skaller <ska...@users.sourceforge.net> wrote:

On 26/01/2015, at 4:06 AM, Hongwei Xi wrote:

> Hi,
>
> I am glad to announce the release of ATS2-0.1.8.
> This version is primarily released for the purpose of
> building Debian packages. If you have already installed
> ATS2-0.1.7, then there is really no need to install this
> one.
>
>> From this point on, the 'patsopt' built based on
> the defaut setting will no long invoke GC when called to
> compile ATS source. If you need it to run with GC support,
> try to build 'patsopt' using one of the following command-lines:
>
> ./configure && make GCFLAG=-D_ATS_GCBDW # using Boehm-GC
> ./configure && make GCFLAG=-D_ATS_GCATS # using GCATS (GC for ATS1)

I'm confused. Is this running the compiler with the GC, or is it configuring
the program the compiler is generating to run with GC?


--
john skaller
ska...@users.sourceforge.net
http://felix-lang.org

[Yannick Duchêne]

Le dimanche 25 janvier 2015 18:07:23 UTC+1, gmhwxi a écrit :

Major releases of external packages for ATS2 are available at:

https://sourceforge.net/projects/ats2-lang-contrib/

 

There's a version mismatch between ATS2 and ATS2-Contrib (latest ATS2 and 0.1.8, while latest Contrib is 0.1.7). Is this OK?

[Hongwei Xi]

It is okay.

In the future, it can be expected that there should be more releases of ATS2-contrib.

--
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/f14acbcf-6caf-4719-954a-427f15baf3f8%40googlegroups.com.

[Yannick Duchêne]

Le dimanche 25 janvier 2015 18:07:23 UTC+1, gmhwxi a écrit :

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/

My apologies for the basic question, but I can't figure any more where to get ATS2-include. I remember I used to get it, but can't remember where and the download page at the ATS2 web site does not tell where.

As a side note, I get an error with a sometime recommended option, “-ffunction-sections”, which now give me an error. I had to reinstall everything on my machine after an hard drive failure, but GCC version is the same as before, that is 4.6 (but I don't mind, I juste dropped the option, and just wanted to tell, in case).

[Yannick Duchêne]

As a side note, I get an error with a sometime recommended option, “-ffunction-sections”, which now give me an error. I had to reinstall everything on my machine after an hard drive failure, but GCC version is the same as before, that is 4.6 (but I don't mind, I juste dropped the option, and just wanted to tell, in case).

Oops, typo, I meant the “-fno-aggressive-loop-optimization” option.

[Hongwei Xi]

Could you tell us how this error can be re-produced?

On Tue, Jan 27, 2015 at 6:26 AM, 'Yannick Duchêne' via ats-lang-users <ats-lan...@googlegroups.com> wrote:

As a side note, I get an error with a sometime recommended option, “-ffunction-sections”, which now give me an error. I had to reinstall everything on my machine after an hard drive failure, but GCC version is the same as before, that is 4.6 (but I don't mind, I juste dropped the option, and just wanted to tell, in case).

Oops, typo, I meant the “-fno-aggressive-loop-optimization” option.

--

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/5237720c-1985-49f1-82b9-e31b7c932c64%40googlegroups.com.

[gmhwxi]

ATS2-include-0.1.7 can be found in the following directory:

http://sourceforge.net/projects/ats2-lang/files/ats2-lang/ats2-postiats-0.1.7/

[Yannick Duchêne]

That's not really ATS2 related, rather GCC related. In an older thread, someone suggested to pass “-fno-aggressive-loop-optimization” in CFLAGS while building ATS2 with GCC. I did this before with GCC 4.6, but for some unknown reasons, it does not work any more: GCC 4.6 does not recognize the option anymore, and I get an error about GCC being unable to produce binaries during “config”. As I know some people use this option to build ATS2, I just wanted to tell.

[Hongwei Xi]

>> -fno-aggressive-loop-optimization

Try:

-fno-aggressive-loop-optimizations

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/84dac894-3169-4bd8-8547-687b301c72f8%40googlegroups.com.

[Yannick Duchêne]

Le dimanche 25 janvier 2015 18:07:23 UTC+1, gmhwxi a écrit :

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

Hi,

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

The link to which INSTALL suggest to go, is broken: it says to go to http://www.ats-lang.org/DOWNLOAD/#ATS_packages while it should say http://www.ats-lang.org/Downloads.html .

 

[gmhwxi]

Could you let me know where you saw the link?

Thanks!

[gmhwxi]

Found and fixed.

[Yannick Duchêne]

I get a core dump again, even when ATS is compiled with this option. And I'm getting it with a very simple tutorial file.

[Yannick Duchêne]

If it's added to CFLAGS before configure, then configure fails. If it's added after configure and before make, it does not fail, but I'm afraid its not applied.

GCC version is: gcc (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3.

I don't know why the option make configure fails and do not with make. Whatever, patscc crashes. Will see later if it's random or not (the last time I encountered the same, it was random).

[Yannick Duchêne]

With the hope it can help, I'm attaching an archive containing this:

  * the DATS file whose compilation terminates in a core dump

  * a file with the exact command terminating in a core dump

  * the C file generated before the core dump

  * one of the funny postiats_funlablst_xxxxxx patscc seems to produce

  * the config.log file from ATS's build

  * a file with GCC version informations

  * a file with CFLAGS informations

[Yannick Duchêne]

Le vendredi 30 janvier 2015 12:02:13 UTC+1, Yannick Duchêne a écrit :

With the hope it can help, I'm attaching an archive containing this:

Far shorter test case

     fn f () int = 0

There is a syntax error, a missing “:” , and this trigger a segfault and core dump.

Please, can someone else test this?

[gmhwxi]

Thanks for reporting it in so much detail!

If you do

fn f () int = ()
val x = $showtype(f)

You will see that the type of 'f' contains a unification variable S2EVar(...).

The compiler does know the size of this type and so it could not compile it
properly.

Maybe I just tell the compiler that S2EVar(...) should be treated as void.
In this way, the C compiler should complain later.

Matt Danish reported a similar bug a few days ago. See:

https://github.com/githwxi/ATS-Postiats/blob/master/doc/BUGS/bug-2015-01-25.dats

[gmhwxi]

I think I have fixed this bug. The changes are now in ATS2-github
and will be in the next release (ATS2-0.1.9).

[gmhwxi]

A pre-release of ATS2-0.1.9 can be found here:

http://www.ats-lang.org/Downloads.html#ATS_packages

[Yannick Duchêne]

Le vendredi 30 janvier 2015 20:53:50 UTC+1, gmhwxi a écrit :

A pre-release of ATS2-0.1.9 can be found here:

 

http://www.ats-lang.org/Downloads.html#ATS_packages

I have not tested it, but talking about ATS versions, I was wondering if a future version will have a “$showsort” just like there already is a “$showtype”, so that one could do “val _ = $showsort(string)” like one can already do “val _ = $showtype("abcd")”?

[Hongwei Xi]

Good idea!

I will just modify $showtype so that it also prints out the sort of the type.

--

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/c4b16b8e-5ea3-4a24-be63-dfe066b56538%40googlegroups.com.

[gmhwxi]

This feature is now available in ATS2-0.1.9:

http://www.ats-lang.org/Downloads.html#ATS_packages

On Wednesday, February 4, 2015 at 9:16:44 PM UTC-5, gmhwxi wrote:

Good idea!

I will just modify $showtype so that it also prints out the sort of the type.

[Yannick Duchêne]

Le vendredi 30 janvier 2015 20:53:50 UTC+1, gmhwxi a écrit :

A pre-release of ATS2-0.1.9 can be found here:

http://www.ats-lang.org/Downloads.html#ATS_packages

I don't know what cause the error, if it's Contrib 0.1.7 which is not compatible with Postiats 0.1.9, the STATS file `glib/SATS/glib/gmain.sats` in Contrib, does not type‑check, either with `patsopt -tc -s` or `patscc -tcats`.

[gmhwxi]

These file are not meant to be used independently.
They are included in the file ./../glib.sats

I have added a note to clarify this issue.

[Yannick Duchêne]

Le mercredi 18 février 2015 00:12:21 UTC+1, gmhwxi a écrit :

These file are not meant to be used independently.
They are included in the file ./../glib.sats

I have added a note to clarify this issue.

A note in a README in this contrib's directory?

I have issue with near to everything in `contrib/GTK`. I checked `$PATSHOMERELOC` is OK, and it is (points to ATS installation directory). Is this something similar or related?

[gmhwxi]

Yes, it is the same.

I have added a README file that contains the note.