From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <damien.doligez@inria.fr>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 649578018E
	for <caml-list@sympa.inria.fr>; Thu, 29 Jun 2017 17:19:04 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.40,281,1496095200"; 
   d="scan'208";a="229998877"
Received: from ec-ap-2-13-07.paris.inria.fr (HELO [192.168.1.2]) ([128.93.65.24])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 29 Jun 2017 17:19:03 +0200
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\))
From: Damien Doligez <damien.doligez@inria.fr>
In-Reply-To: <alpine.DEB.2.20.1706231325230.2989@hadrien>
Date: Thu, 29 Jun 2017 17:19:03 +0200
Cc: SP <sp@orbitalfox.com>,
 caml users <caml-list@inria.fr>
Content-Transfer-Encoding: 7bit
Message-Id: <8615B281-0D8A-45F0-937F-C70F4F18ABDC@inria.fr>
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>
To: Julia Lawall <julia.lawall@lip6.fr>
X-Mailer: Apple Mail (2.3124)
Subject: Re: [Caml-list] segmentation fault

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