# 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:** 7\
**Page:** 2

<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, 4:39pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/21 "2015-01-27T16:39:51Z")

</div>

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](mailto: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](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/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 30, 2015, 10:16am UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/22 "2015-01-30T10:16:24Z")

</div>

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
> 
> On Tue, Jan 27, 2015 at 1:30 PM, ‘Yannick Duchêne’ via ats-lang-users \< [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com) \<javascript:\>\> 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...@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/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:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [January 28, 2015, 5:11pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/23 "2015-01-28T17:11:44Z")

</div>

Found and fixed.On Wednesday, January 28, 2015 at 11:54:16 AM UTC-5, gmhwxi wrote:

> Could you let me know where you saw the link?
> 
> Thanks!
> 
> On Wednesday, January 28, 2015 at 11:34:03 AM UTC-5, Yannick Duchêne wrote:
> 
> > 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](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:** [February 5, 2015, 2:16am UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/24 "2015-02-05T02:16:43Z")

</div>

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-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”)”?
> 
> –  
> 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/c4b16b8e-5ea3-4a24-be63-dfe066b56538%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/c4b16b8e-5ea3-4a24-be63-dfe066b56538%40googlegroups.com)  
> [https://groups.google.com/d/msgid/ats-lang-users/c4b16b8e-5ea3-4a24-be63-dfe066b56538%40googlegroups.com?utm\_medium=email&utm\_source=footer](https://groups.google.com/d/msgid/ats-lang-users/c4b16b8e-5ea3-4a24-be63-dfe066b56538%40googlegroups.com?utm_medium=email&utm_source=footer)  
> .

---

<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, 5:32pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/25 "2015-01-30T17:32:48Z")

</div>

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:** ![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, 9:01pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/26 "2015-01-26T21:01:51Z")

</div>

It is okay.

In the future, it can be expected that there should be more releases of  
ATS2-contrib.On Mon, Jan 26, 2015 at 12:52 PM, ‘Yannick Duchêne’ via ats-lang-users \< [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com)\> wrote:

> Le dimanche 25 janvier 2015 18:07:23 UTC+1, gmhwxi a écrit :
> 
> > 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?
> 
> –  
> 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/f14acbcf-6caf-4719-954a-427f15baf3f8%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/f14acbcf-6caf-4719-954a-427f15baf3f8%40googlegroups.com)  
> [https://groups.google.com/d/msgid/ats-lang-users/f14acbcf-6caf-4719-954a-427f15baf3f8%40googlegroups.com?utm\_medium=email&utm\_source=footer](https://groups.google.com/d/msgid/ats-lang-users/f14acbcf-6caf-4719-954a-427f15baf3f8%40googlegroups.com?utm_medium=email&utm_source=footer)  
> .

---

<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 28, 2015, 4:54pm UTC](https://discourse.ats-lang.org/t/ats2-0-1-8-released/527/27 "2015-01-28T16:54:16Z")

</div>

Could you let me know where you saw the link?

Thanks!On Wednesday, January 28, 2015 at 11:34:03 AM UTC-5, Yannick Duchêne wrote:

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

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