Re: [Caml-list] segmentation fault

[Julia Lawall <julia.lawall@lip6.fr>]

On Thu, 29 Jun 2017, Damien Doligez wrote:

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

Thanks.  I don't have access to my failing machine at the moment, but I
will forward the message to the person who reported the problem in the
first place.

julia

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