From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gabriel@kerneis.info>
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 4E3407EC41
	for <caml-list@sympa.inria.fr>; Fri, 19 Oct 2012 12:35:48 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  kerneis@pps.jussieu.fr) identity=pra;
  client-ip=213.186.56.95;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="gabriel@kerneis.info";
  x-sender="kerneis@pps.jussieu.fr";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  gabriel@kerneis.info designates 213.186.56.95 as permitted
  sender) identity=mailfrom; client-ip=213.186.56.95;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="gabriel@kerneis.info";
  x-sender="gabriel@kerneis.info";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  postmaster@witko.kerneis.info designates 213.186.56.95 as
  permitted sender) identity=helo; client-ip=213.186.56.95;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="gabriel@kerneis.info";
  x-sender="postmaster@witko.kerneis.info";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkYFABIsgVDVujhf/2dsb2JhbABFhUu7FYEIgiABAQU6BgEBNwEPCxguFFyICKl0hDMBBY86BotYg0yCQ2CVcYVZimCCcA
X-IronPort-AV: E=Sophos;i="4.80,612,1344204000"; 
   d="scan'208";a="177984391"
Received: from witko.kerneis.info ([213.186.56.95])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 19 Oct 2012 12:35:47 +0200
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=witko-rsa1;
	h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=WNEQmY7BlVXRri4IOTfBtwn4lyB2tfQIVCyFbe/XIqE=;
	b=QBq18xEwEc2TUND/s3RRmbmd7qbF7vFOIafgr0BZQpG85cQspFuyCkTwwWHD/+nABkwzpArf0FEoyMCiAEel5Uih6IrkICmvTm1wNmS+wUhObWNI/aQrpWHRl6sa4HWp;
Received: from 5e099a49.bb.sky.com ([94.9.154.73] helo=localhost)
	by witko.kerneis.info with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16)
	(Exim 4.72)
	(envelope-from <gabriel@kerneis.info>)
	id 1TP9vd-0007vm-Jx; Fri, 19 Oct 2012 12:35:45 +0200
Date: Fri, 19 Oct 2012 11:35:37 +0100
From: Gabriel Kerneis <kerneis@pps.jussieu.fr>
To: oleg@okmij.org
Cc: anthony.tavener@gmail.com, christophe.raffalli@univ-savoie.fr,
	caml-list@inria.fr
Message-ID: <20121019103535.GA3865@kerneis.info>
References: <CAN=ouMQXqRGQAjXMA=tP8EhEDuOTs5=ZNtL9zUF1vcqAUrnTHQ@mail.gmail.com>
 <20121019022056.5189.qmail@www1.g3.pair.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20121019022056.5189.qmail@www1.g3.pair.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-SA-Exim-Connect-IP: 94.9.154.73
X-SA-Exim-Mail-From: gabriel@kerneis.info
X-SA-Exim-Scanned: No (on witko.kerneis.info); SAEximRunCond expanded to false
Subject: Re: [Caml-list] Re: ocaml 3.12.1 and delimcc

On Fri, Oct 19, 2012 at 02:20:56AM -0000, oleg@okmij.org wrote:
> I'll see if I could find a pragma or other way to disable undesirable
> optimizations.

No tested, but you could try -fno-optimize-sibling-calls:
$ gcc --help=optimizers|grep "tail recursive"
  -foptimize-sibling-calls    Optimize sibling and tail recursive calls

Best,
-- 
Gabriel