From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 E4DDB80198 for ; Sat, 1 Jul 2017 20:37:21 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.40,293,1496095200"; d="scan'208";a="281613623" Received: from 198.67.28.109.rev.sfr.net (HELO hadrien) ([109.28.67.198]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Jul 2017 20:37:21 +0200 Date: Sat, 1 Jul 2017 20:37:20 +0200 (CEST) From: Julia Lawall X-X-Sender: jll@hadrien To: Damien Doligez cc: SP , caml users In-Reply-To: <8615B281-0D8A-45F0-937F-C70F4F18ABDC@inria.fr> Message-ID: References: <88108a18-8044-bc46-bed3-aef241b4ff48@linux-france.org> <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? The only machine on which I myself observed the problem also has a buggy processor with hyperthreading enabled. julia > > Cheers, > > -- Damien > > > On 2017-06-23, at 19:25, Julia Lawall 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 >