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 200A57FCF1 for ; Fri, 10 Apr 2015 10:53:50 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=mailfrom; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@cirse-out.extra.cea.fr) identity=helo; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@cirse-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DAAAB2jidVnI7Ap4Rch07BVYRzglwCgT06EgEBAQEBAQERAQEBAQEICwkJFC6EIAEBBCMPAQVAEQsYAgIFFgsCAgkDAgECAUUTCAKIJrdQllkBCwEfgSGKCoUDFoJSgUUBBKInjU2EE4MwAQEB X-IPAS-Result: A0DAAAB2jidVnI7Ap4Rch07BVYRzglwCgT06EgEBAQEBAQERAQEBAQEICwkJFC6EIAEBBCMPAQVAEQsYAgIFFgsCAgkDAgECAUUTCAKIJrdQllkBCwEfgSGKCoUDFoJSgUUBBKInjU2EE4MwAQEB X-IronPort-AV: E=Sophos;i="5.11,555,1422918000"; d="scan'208";a="132517516" Received: from cirse-out.extra.cea.fr ([132.167.192.142]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Apr 2015 10:53:49 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.3) with ESMTP id t3A8rnK2025218 for ; Fri, 10 Apr 2015 10:53:49 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 48B14205044 for ; Fri, 10 Apr 2015 10:54:56 +0200 (CEST) Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 3742A204E4F for ; Fri, 10 Apr 2015 10:54:56 +0200 (CEST) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet2.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.2) with ESMTP id t3A8rntF013240 for ; Fri, 10 Apr 2015 10:53:49 +0200 Message-ID: <55278F9D.8030607@cea.fr> Date: Fri, 10 Apr 2015 10:53:49 +0200 From: =?UTF-8?B?RnJhbsOnb2lzIEJvYm90?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.5.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <2f9c74beafcf41f3ab30324fb1ece739@nleyten.com> <55257AAD.6030004@zoho.com> <5297cdaceccd6db2a60700bf686ccfb7@nleyten.com> <1428576994.22412.21.camel@e130.lan.sumadev.de> <46483E4AF51B46A3B3F91B3B5CFE8249@erratique.ch> <1428597912.4056.107.camel@thinkpad.lan.sumadev.de> <9CB3F43413964B9F93581B26AD6B391B@erratique.ch> <1428618115.4451.6.camel@zotac> In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] META file standards for ppx extensions On 10/04/2015 01:06, Daniel Bünzli wrote: > well defined phases: pre-processing, compilation and linking in the native and bytecode dimensions would be of great help in general. Just by curiosity, why do you want to separate the preprocessing from the compilation and not let ocaml do the piping? Is it for efficiency? Regards, -- François