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.
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 <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> 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.
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> wrote:
Le vendredi 30 janvier 2015 20:53:50 UTC+1, gmhwxi a écrit :
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”)”?
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:
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> wrote:
Le dimanche 25 janvier 2015 18:07:23 UTC+1, gmhwxi a écrit :
Major releases of external packages for ATS2 are available at: