# ATS2-0.1.8 released

**URL:** <https://discourse.ats-lang.org/t/ats2-0-1-8-released/527>\
**Category:** Google Group\
**Created:** [January 25, 2015, 5:07pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527 "2015-01-25T17:07:22Z")\
**Posts on this page:** 20\
**Page:** 1

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [January 25, 2015, 5:07pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/1 "2015-01-25T17:07:22Z")

</div>

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](http://www.ats-lang.org)

ATS-Postiats is hosted at github:

> **[GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and...](https://github.com/githwxi/ATS-Postiats)**
>
> ATS2: Unleashing the Potentials of Types and Templates - GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates

Major releases of ATS2 are available at:

> **[ats2-lang](https://sourceforge.net/projects/ats2-lang/)**
>
> Download ats2-lang for free. ATS2: Unleashing the potentials of types and templates. ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in...

Major releases of external packages for ATS2 are available at:

> **[ats2-lang-contrib](https://sourceforge.net/projects/ats2-lang-contrib/)**
>
> Download ats2-lang-contrib for free. External Contributions to the ATS2 PL System. This project primarily consists of external contributions made to the ATS2 programming language system in the forms of library packages, tutorials, examples, and all...

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.

> **[Best Open Source Mac Front-Ends 2023](https://sourceforge.net/directory/front-ends/mac/)**
>
> Compare the best free open source Mac Front-Ends at SourceForge. Free, secure and fast Mac Front-Ends downloads from the largest Open Source applications and software directory

ats-lang-users mailing list  
[ats-lan...@lists.sourceforge.net](mailto:ats-lan...@lists.sourceforge.net)

> **[ats-lang-users List Signup and Options](https://sourceforge.net/projects/ats-lang/lists/ats-lang-users)**
>
> Unleashing the potentials of types and templates

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [January 27, 2015, 6:30pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/2 "2015-01-27T18:30:35Z")

</div>

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.Le mardi 27 janvier 2015 17:39:52 UTC+1, gmhwxi a écrit :

> 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-l...@googlegroups.com](mailto:ats-l...@googlegroups.com) \<javascript:\>\> 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...@googlegroups.com](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com)  
> > \<javascript:\>.  
> > Visit this group at [http://groups.google.com/group/ats-lang-users](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](https://groups.google.com/d/msgid/ats-lang-users/5237720c-1985-49f1-82b9-e31b7c932c64%40googlegroups.com)  
> > [https://groups.google.com/d/msgid/ats-lang-users/5237720c-1985-49f1-82b9-e31b7c932c64%40googlegroups.com?utm\_medium=email&utm\_source=footer](https://groups.google.com/d/msgid/ats-lang-users/5237720c-1985-49f1-82b9-e31b7c932c64%40googlegroups.com?utm_medium=email&utm_source=footer)  
> > .

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [January 27, 2015, 11:25am UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/3 "2015-01-27T11:25:32Z")

</div>

> The official website for ATS is:
> 
> [http://www.ats-lang.org](http://www.ats-lang.org)
> 
> ATS-Postiats is hosted at github:
> 
> [GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates](https://github.com/githwxi/ATS-Postiats)
> 
> Major releases of ATS2 are available at:
> 
> [ats2-lang download | SourceForge.net](https://sourceforge.net/projects/ats2-lang/)
> 
> Major releases of external packages for ATS2 are available at:
> 
> [ats2-lang-contrib download | SourceForge.net](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).

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [January 30, 2015, 1:05pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/4 "2015-01-30T13:05:25Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [February 5, 2015, 2:48am UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/5 "2015-02-05T02:48:03Z")

</div>

This feature is now available in ATS2-0.1.9:

[http://www.ats-lang.org/Downloads.html#ATS\_packagesOn](http://www.ats-lang.org/Downloads.html#ATS_packagesOn) 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.
> 
> On Wed, Feb 4, 2015 at 7:38 PM, ‘Yannick Duchêne’ via ats-lang-users \< ats-lang-users@ [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com)…\> wrote:
> 
> > 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](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”)”?

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [January 27, 2015, 11:26am UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/6 "2015-01-27T11:26:54Z")

</div>

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.

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [February 17, 2015, 10:22pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/7 "2015-02-17T22:22:23Z")

</div>

> A pre-release of ATS2-0.1.9 can be found here:
> 
> [http://www.ats-lang.org/Downloads.html#ATS\_packages](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`.

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [January 27, 2015, 6:36pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/8 "2015-01-27T18:36:28Z")

</div>

> > -fno-aggressive-loop-optimization

Try:

-fno-aggressive-loop-optimizationsOn Tue, Jan 27, 2015 at 1:30 PM, ‘Yannick Duchêne’ via ats-lang-users \< [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com)\> wrote:

> 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.
> 
> Le mardi 27 janvier 2015 17:39:52 UTC+1, gmhwxi a écrit :
> 
> > 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-l...@googlegroups.com](mailto:ats-l...@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...@googlegroups.com](mailto:ats-lang...@googlegroups.com).  
> > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).  
> > > Visit this group at [http://groups.google.com/group/ats-lang-users](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](https://groups.google.com/d/msgid/ats-lang-users/5237720c-1985-49f1-82b9-e31b7c932c64%40googlegroups.com)  
> > > [https://groups.google.com/d/msgid/ats-lang-users/5237720c-1985-49f1-82b9-e31b7c932c64%40googlegroups.com?utm\_medium=email&utm\_source=footer](https://groups.google.com/d/msgid/ats-lang-users/5237720c-1985-49f1-82b9-e31b7c932c64%40googlegroups.com?utm_medium=email&utm_source=footer)  
> > > .
> > 
> > –  
> > 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](mailto:ats-lang-user...@googlegroups.com).  
> > To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> > Visit this group at [http://groups.google.com/group/ats-lang-users](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/84dac894-3169-4bd8-8547-687b301c72f8%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/84dac894-3169-4bd8-8547-687b301c72f8%40googlegroups.com)  
> > [https://groups.google.com/d/msgid/ats-lang-users/84dac894-3169-4bd8-8547-687b301c72f8%40googlegroups.com?utm\_medium=email&utm\_source=footer](https://groups.google.com/d/msgid/ats-lang-users/84dac894-3169-4bd8-8547-687b301c72f8%40googlegroups.com?utm_medium=email&utm_source=footer)  
> > .

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [January 28, 2015, 4:34pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/9 "2015-01-28T16:34:03Z")

</div>

> ---------- 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](http://www.ats-lang.org/DOWNLOAD/#ATS_packages) while it should say  
[http://www.ats-lang.org/Downloads.html](http://www.ats-lang.org/Downloads.html) .

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [January 26, 2015, 3:45am UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/10 "2015-01-26T03:45:17Z")

</div>

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](mailto: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](mailto:ska...@users.sourceforge.net)  
> [http://felix-lang.org](http://felix-lang.org)
> 
> * * *
> 
> 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.  
> [Best Open Source Mac Front-Ends 2023](http://p.sf.net/sfu/gigenet)
> 
> * * *
> 
> ats-lang-users mailing list  
> [ats-lan...@lists.sourceforge.net](mailto:ats-lan...@lists.sourceforge.net)  
> [ats-lang-users List Signup and Options](https://lists.sourceforge.net/lists/listinfo/ats-lang-users)

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [January 27, 2015, 6:00pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/11 "2015-01-27T18:00:50Z")

</div>

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

[ats2-lang - Browse Files at SourceForge.net](http://sourceforge.net/projects/ats2-lang/files/ats2-lang/ats2-postiats-0.1.7/On) Tuesday, January 27, 2015 at 6:25:33 AM UTC-5, Yannick Duchêne wrote:

> Le dimanche 25 janvier 2015 18:07:23 UTC+1, gmhwxi a écrit :
> 
> > The official website for ATS is:
> > 
> > [http://www.ats-lang.org](http://www.ats-lang.org)
> > 
> > ATS-Postiats is hosted at github:
> > 
> > [GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates](https://github.com/githwxi/ATS-Postiats)
> > 
> > Major releases of ATS2 are available at:
> > 
> > [ats2-lang download | SourceForge.net](https://sourceforge.net/projects/ats2-lang/)
> > 
> > Major releases of external packages for ATS2 are available at:
> > 
> > [ats2-lang-contrib download | SourceForge.net](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).

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [February 17, 2015, 11:12pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/12 "2015-02-17T23:12:21Z")

</div>

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.On Tuesday, February 17, 2015 at 5:22:24 PM UTC-5, Yannick Duchêne wrote:

> 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](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`.

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [January 30, 2015, 4:13pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/13 "2015-01-30T16:13:20Z")

</div>

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.datsOn](https://github.com/githwxi/ATS-Postiats/blob/master/doc/BUGS/bug-2015-01-25.datsOn) Friday, January 30, 2015 at 8:05:25 AM UTC-5, Yannick Duchêne wrote:

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

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [January 30, 2015, 7:53pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/14 "2015-01-30T19:53:49Z")

</div>

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

[http://www.ats-lang.org/Downloads.html#ATS\_packagesOn](http://www.ats-lang.org/Downloads.html#ATS_packagesOn) Friday, January 30, 2015 at 12:32:48 PM UTC-5, gmhwxi wrote:

> 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).
> 
> On Friday, January 30, 2015 at 11:13:20 AM UTC-5, gmhwxi wrote:
> 
> > 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](https://github.com/githwxi/ATS-Postiats/blob/master/doc/BUGS/bug-2015-01-25.dats)
> > 
> > On Friday, January 30, 2015 at 8:05:25 AM UTC-5, Yannick Duchêne wrote:
> > 
> > > 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?

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [January 26, 2015, 5:52pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/15 "2015-01-26T17:52:29Z")

</div>

> Major releases of external packages for ATS2 are available at:
> 
> [ats2-lang-contrib download | SourceForge.net](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?

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [February 5, 2015, 12:38am UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/16 "2015-02-05T00:38:05Z")

</div>

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

[http://www.ats-lang.org/Downloads.html#ATS\_packages](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”)”?

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [January 30, 2015, 11:02am UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/17 "2015-01-30T11:02:13Z")

</div>

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 informationsLe vendredi 30 janvier 2015 11:39:00 UTC+1, Yannick Duchêne a écrit :

> 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).
> 
> Le vendredi 30 janvier 2015 11:16:24 UTC+1, Yannick Duchêne a écrit :
> 
> > 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.
> > 
> > Le mardi 27 janvier 2015 19:36:29 UTC+1, gmhwxi a écrit :
> > 
> > > > > -fno-aggressive-loop-optimization
> > > 
> > > Try:
> > > 
> > > -fno-aggressive-loop-optimizations
> > > 
> > > >

[bug.zip](https://us1.discourse-cdn.com/flex019/uploads/ats_lang/original/1X/c2c0be8f9b813e84e3f46a7dc9aafff13b90282a.zip) (5.46 KB)

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [January 30, 2015, 10:39am UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/18 "2015-01-30T10:39:00Z")

</div>

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).Le vendredi 30 janvier 2015 11:16:24 UTC+1, Yannick Duchêne a écrit :

> 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.
> 
> Le mardi 27 janvier 2015 19:36:29 UTC+1, gmhwxi a écrit :
> 
> > > > -fno-aggressive-loop-optimization
> > 
> > Try:
> > 
> > -fno-aggressive-loop-optimizations
> > 
> > >

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [February 17, 2015, 11:48pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/19 "2015-02-17T23:48:44Z")

</div>

Yes, it is the same.

I have added a README file that contains the note.On Tuesday, February 17, 2015 at 6:38:48 PM UTC-5, Yannick Duchêne wrote:

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

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [February 17, 2015, 11:38pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/20 "2015-02-17T23:38:48Z")

</div>

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

[Next page](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527.md?page=2)