From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <julia.lawall@lip6.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 A07638018B
	for <caml-list@sympa.inria.fr>; Fri, 23 Jun 2017 19:25:50 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.39,379,1493676000"; 
   d="scan'208";a="229426615"
Received: from va-138-210-10-97.dhcp.embarqhsd.net (HELO hadrien.local) ([138.210.10.97])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 23 Jun 2017 19:25:49 +0200
Date: Fri, 23 Jun 2017 13:25:47 -0400 (EDT)
From: Julia Lawall <julia.lawall@lip6.fr>
X-X-Sender: jll@hadrien
To: SP <sp@orbitalfox.com>
cc: caml-list@inria.fr
In-Reply-To: <ef8945dc-cec0-ab7c-200b-a54cc64752a8@orbitalfox.com>
Message-ID: <alpine.DEB.2.20.1706231325230.2989@hadrien>
References: <alpine.DEB.2.20.1706182133490.30282@hadrien> <88108a18-8044-bc46-bed3-aef241b4ff48@linux-france.org> <ef8945dc-cec0-ab7c-200b-a54cc64752a8@orbitalfox.com>
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 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
>