From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <julia.lawall@lip6.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 4644F8018D
	for <caml-list@sympa.inria.fr>; Thu, 29 Jun 2017 17:26:15 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.40,281,1496095200"; 
   d="scan'208";a="281221798"
Received: from unknown (HELO hadrien.local) ([50.233.144.2])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Jun 2017 17:26:14 +0200
Date: Thu, 29 Jun 2017 09:26:11 -0600 (MDT)
From: Julia Lawall <julia.lawall@lip6.fr>
X-X-Sender: jll@hadrien
To: Damien Doligez <damien.doligez@inria.fr>
cc: SP <sp@orbitalfox.com>, caml users <caml-list@inria.fr>
In-Reply-To: <8615B281-0D8A-45F0-937F-C70F4F18ABDC@inria.fr>
Message-ID: <alpine.DEB.2.20.1706290925270.3588@hadrien>
References: <alpine.DEB.2.20.1706182133490.30282@hadrien> <88108a18-8044-bc46-bed3-aef241b4ff48@linux-france.org> <ef8945dc-cec0-ab7c-200b-a54cc64752a8@orbitalfox.com> <alpine.DEB.2.20.1706231325230.2989@hadrien>
 <8615B281-0D8A-45F0-937F-C70F4F18ABDC@inria.fr>
User-Agent: Alpine 2.20 (DEB 67 2015-01-07)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Subject: Re: [Caml-list] segmentation fault



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
>