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 8CDC07FCF0 for ; Fri, 10 Apr 2015 18:33:39 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.145; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=mailfrom; client-ip=132.167.192.145; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@sainfoin-out.extra.cea.fr) identity=helo; client-ip=132.167.192.145; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@sainfoin-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DAAADZ+idVnJHAp4Rcg15cgxXBVoFQhX8CgT46EgEBAQEBAQERAQEBAQEGDQkJFC6EIAEBBCMPAQU0CgIBEAsYAgIFFgsCAgkDAgECAUUGDQEHAogmDbhRllkBAQEBAQEEAQEBAQEBAQEWBIEhigqCZiSBcgeCaIFFBZR7giuLAY1NhBNtgkMBAQE X-IPAS-Result: A0DAAADZ+idVnJHAp4Rcg15cgxXBVoFQhX8CgT46EgEBAQEBAQERAQEBAQEGDQkJFC6EIAEBBCMPAQU0CgIBEAsYAgIFFgsCAgkDAgECAUUGDQEHAogmDbhRllkBAQEBAQEEAQEBAQEBAQEWBIEhigqCZiSBcgeCaIFFBZR7giuLAY1NhBNtgkMBAQE X-IronPort-AV: E=Sophos;i="5.11,557,1422918000"; d="scan'208";a="109170581" Received: from sainfoin-out.extra.cea.fr ([132.167.192.145]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Apr 2015 18:33:38 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by sainfoin.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.3) with ESMTP id t3AGXZcR003317; Fri, 10 Apr 2015 18:33:35 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 9577420A875; Fri, 10 Apr 2015 18:34:42 +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 889B820A86F; Fri, 10 Apr 2015 18:34:42 +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 t3AGXZtw031830; Fri, 10 Apr 2015 18:33:35 +0200 Message-ID: <5527FB5F.2030203@cea.fr> Date: Fri, 10 Apr 2015 18:33:35 +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: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= CC: 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> <55278F9D.8030607@cea.fr> <6C2BFE0C79F1491BAEB633BE70A6CE4D@erratique.ch> <5527AE3A.70200@cea.fr> <017E69CBC52B4A698E545976E4CC24F4@erratique.ch> In-Reply-To: <017E69CBC52B4A698E545976E4CC24F4@erratique.ch> 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 13:55, Daniel Bünzli wrote: > Le vendredi, 10 avril 2015 à 13:04, François Bobot a écrit : >> On 10/04/2015 11:42, Daniel Bünzli wrote: >>> It's all about having a *composable* toolchain vs. inflexible monolithic black boxes. >> >> In order to gain flexibility, do you tried to link with findlib? > > If you are refering to this > > https://github.com/whitequark/ocaml-findlib/blob/master/src/findlib/findlib.mli > > then it doesn't seem to be much different from `ocamlfind query`, which as I already mentioned I > had hard time to use to achieve my goals. But then maybe I should simply short-circuit all the > ocamlfind flags logic and simply query the objects in the META files (which I didn't understand > at the time could be done by simply using "(%property)" notation; I used to fight with the > various other % formatters). findlib.mli doesn't implement the various % formatters. And it gives a much easier way to access the properties than to parse the output of ocamlfind. You can look at the implementation of the frontend for how to use the library (ex: to use Fl_split.in_words) : https://github.com/whitequark/ocaml-findlib/blob/master/src/findlib/frontend.ml Regards, -- François