From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sp@orbitalfox.com>
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 BC22B8018F
	for <caml-list@sympa.inria.fr>; Fri, 23 Jun 2017 19:03:38 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.com; spf=None smtp.mailfrom=sp@orbitalfox.com; spf=None smtp.helo=postmaster@orbitalfox.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  sp@orbitalfox.com) identity=pra; client-ip=95.172.232.202;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  sp@orbitalfox.com) identity=mailfrom;
  client-ip=95.172.232.202;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@orbitalfox.com) identity=helo;
  client-ip=95.172.232.202;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="sp@orbitalfox.com";
  x-sender="postmaster@orbitalfox.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3A+Kr6aROdLDgP47wdXhMl6mtUPXoX/o7sNwtQ0KIM?=
 =?us-ascii?q?zox0Lfz5rarrMEGX3/hxlliBBdydsKMbzbKO+4nbGkU4qa6bt34DdJEeHzQksu?=
 =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?=
 =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFKiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?=
 =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?=
 =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr8zRTmv4aVmRRHxhC?=
 =?us-ascii?q?sbODMy7WXbh8xsgK5eph+quh5xzJPOYIyNKfRwYK3dc9MZS2RPUMleWC5ODZ+z?=
 =?us-ascii?q?YYYUE+oMP/xVo5Xhq1YArxazAxSnCuP1yj9Pg3/7xbA03f48GgzBxwwgB8kDsH?=
 =?us-ascii?q?POrNruNacSTfq6zK3GzTXEYPJawyvy6I/Nch04p/yHQLx+cc3UyUY1FgPFiE2d?=
 =?us-ascii?q?qY3jPzOP1+QCqXKX7+R6Ve+plmUpqBlxryCry8oskIXFm4AYxk7e+Slnzos5O8?=
 =?us-ascii?q?e0RFBnbdK6FpZbqjuUOJFsQsw4RmFloCY6xaMCuZ68ZCUKz44nyAXea/ybaYeI?=
 =?us-ascii?q?5hzjVOGeIDtimH1lf7e/iw6z8Uim1OL8StG53VJKoyZfj9XBtG4B2wbN5sWJVP?=
 =?us-ascii?q?dx5Fmt1SqR2wzL7+FLO0E0la7VK547xb4wk4IesV/bHiLtn0X2lrSZdkQ4+uey?=
 =?us-ascii?q?7+TnbLLmp5CGO4BojQH+N7wimtajDuQgLggOQ2+b9Pyg27L5+E35RKxGjvk3kq?=
 =?us-ascii?q?nCrJDXPt8bp668Aw9NyIkv8Re/DzG80NQZh3YLNlxFeAjUx7TublrHJfS9Cfak?=
 =?us-ascii?q?n3ytli1qzrbIJO7PGJLIe0P72OP6ZZ568URd1AM3w9dPoZlTD+dSc7rIRkbtuY?=
 =?us-ascii?q?mAXVcCOAuuzrO6UNg=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DSDwC4SE1Z/8rorF9eHQEFAQsBGAEFA?=
 =?us-ascii?q?QsBgy1iA4EKg2y0BCyFeAIMgnxDFAEBAQEBAQEBAQEBaiiCMwwMgk4GIx0BATg?=
 =?us-ascii?q?PCxoCJgICVxMIAQGKLAytHmuCJoMIAQEFiHgIgQuCHIVYgnmFNoJHgmGeUxWHM?=
 =?us-ascii?q?44hAW2IPYZzlRY2IYEKdBVJhD1BghI/NgGKFAEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0DSDwC4SE1Z/8rorF9eHQEFAQsBGAEFAQsBgy1iA4EKg2y?=
 =?us-ascii?q?0BCyFeAIMgnxDFAEBAQEBAQEBAQEBaiiCMwwMgk4GIx0BATgPCxoCJgICVxMIA?=
 =?us-ascii?q?QGKLAytHmuCJoMIAQEFiHgIgQuCHIVYgnmFNoJHgmGeUxWHM44hAW2IPYZzlRY?=
 =?us-ascii?q?2IYEKdBVJhD1BghI/NgGKFAEBAQ?=
X-IronPort-AV: E=Sophos;i="5.39,379,1493676000"; 
   d="scan'208";a="229425174"
Received: from orbitalfox.com ([95.172.232.202])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Jun 2017 19:03:38 +0200
Received: from [192.168.88.5] (unknown [192.168.88.5])
	by orbitalfox.com (Postfix) with ESMTPSA id 92F2BAA005D
	for <caml-list@inria.fr>; Fri, 23 Jun 2017 17:03:36 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com;
	s=orbitalfox; t=1498237416;
	bh=h8AWV20zbMsOT4mUJU/CIlPxTUb5LJ8SbLbZ/+AjHTI=;
	h=Subject:To:References:From:Date:In-Reply-To;
	b=FkwWiy8TKkMxpy+nvXO82lQvorPsVH5hHNSt0EPZRI9KXUmccRQajjJtJLqsBfxpJ
	 7rUKH7f5WLaan8CswjYYJC4LeQHPVuwXeNYK2yA+I+QEE3IMeseppg9kmEnjwa1QDq
	 IF8/xMGwv/uKAjNSOU+kpC6Nagqc19ZYiy5OoNSg=
To: caml-list@inria.fr
References: <alpine.DEB.2.20.1706182133490.30282@hadrien>
 <88108a18-8044-bc46-bed3-aef241b4ff48@linux-france.org>
From: SP <sp@orbitalfox.com>
Message-ID: <ef8945dc-cec0-ab7c-200b-a54cc64752a8@orbitalfox.com>
Date: Fri, 23 Jun 2017 18:03:35 +0100
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:52.0)
 Gecko/20100101 Thunderbird/52.2.0
MIME-Version: 1.0
In-Reply-To: <88108a18-8044-bc46-bed3-aef241b4ff48@linux-france.org>
Content-Type: text/plain; charset=utf-8
Content-Language: en-GB
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] segmentation fault

You can use `tailcall` attribute to verify if it is tail-call optimised.

http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec246

-- 
    SP