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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 334077F9BB for ; Wed, 2 Jul 2014 11:27:13 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel@kerneis.info) identity=pra; client-ip=176.31.113.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel@kerneis.info designates 176.31.113.173 as permitted sender) identity=mailfrom; client-ip=176.31.113.173; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: domain of postmaster@wanbli.kerneis.info designates 176.31.113.173 as permitted sender) identity=helo; client-ip=176.31.113.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="postmaster@wanbli.kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUBAIbPs1OwH3Gtl2dsb2JhbABaykwKAYEMFg8BAQEBAQgWBzyEAwEBBQwmAQ0BATcBDwsYCSUPBUmIWQGpIoV5AQWWIREGjx8Hgy2BFpBKiiCGehCQPQ X-IPAS-Result: AoUBAIbPs1OwH3Gtl2dsb2JhbABaykwKAYEMFg8BAQEBAQgWBzyEAwEBBQwmAQ0BATcBDwsYCSUPBUmIWQGpIoV5AQWWIREGjx8Hgy2BFpBKiiCGehCQPQ X-IronPort-AV: E=Sophos;i="5.01,587,1400018400"; d="scan'208";a="69851906" Received: from wanbli.kerneis.info ([176.31.113.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 02 Jul 2014 11:27:12 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=wanbli-rsa1; h=In-Reply-To:Content-Transfer-Encoding:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=rEMTguV49TsgUCi26TZ6HvGVEQF4JXUTjFOe+YtkaV4=; b=bHEPItpS3j/GsqST0Hmm1FWiszqcIaWkdIjL5e78jv1kvZEpIqmnt9nctz/SeIrjqDVo9LLyFDxwtDSCcndWcCnCGVVwrUaEfPVAdWq3dTKorTAFzhBMpErbLeVB/MscRR8P0bOMPGEAYW9+zxKcBs+xrWyWksBW8UEKMUY+mxg=; Received: from [90.218.3.187] (helo=localhost) by wanbli.kerneis.info with esmtpsa (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from ) id 1X2Gom-00068d-A7; Wed, 02 Jul 2014 09:27:08 +0000 Date: Wed, 2 Jul 2014 10:27:07 +0100 From: Gabriel Kerneis To: Alain Frisch Cc: Jeremie Dimino , "caml-list@inria.fr" Message-ID: <20140702092706.GB4470@kerneis.info> References: <20140701095955.GE4120@kerneis.info> <53B2DC94.6050809@frisch.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <53B2DC94.6050809@frisch.fr> User-Agent: Mutt/1.5.21 (2010-09-15) X-SA-Exim-Connect-IP: 90.218.3.187 X-SA-Exim-Mail-From: gabriel@kerneis.info X-SA-Exim-Scanned: No (on wanbli.kerneis.info); SAEximRunCond expanded to false Subject: Re: [Caml-list] Extending Format strings Alain, Jérémie, On Tue, Jul 01, 2014 at 06:06:44PM +0200, Alain Frisch wrote: > We had a very similar issue with some internal LexiFi library, also > using @-markers, and returning some structured document. Jeremie's > suggestion works very well. Many thanks for your insights. I'll probably not update CIL code in the short term, for backwards-compatibility reasons (I'm a little nervous when it comes to using internal compiler libs), but it's nice to see it can be done more cleanly than the current implementation. Best, -- Gabriel