Re: [Caml-list] segmentation fault

[Damien Doligez <damien.doligez@inria.fr>]

Hi Julia,

This is a long shot, but let's see if this is the Skylake/Kaby Lake
processor bug. Could you follow the instructions at the beginning of
https://lists.debian.org/debian-devel/2017/06/msg00308.html
and tell us if you have one of the buggy processors?

Cheers,

-- Damien

> On 2017-06-23, at 19:25, Julia Lawall <julia.lawall@lip6.fr> wrote:
> 
> 
> 
> On Fri, 23 Jun 2017, SP wrote:
> 
>> You can use `tailcall` attribute to verify if it is tail-call optimised.
>> 
>> http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec246
> 
> Thanks.  For the moment, though, I have no idea what function call is
> causing the problem.
> 
> julia
> 
>> 
>> --
>>    SP
>> 
>> --
>> Caml-list mailing list.  Subscription management and archives:
>> https://sympa.inria.fr/sympa/arc/caml-list
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>> 
> 
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs