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 0BB547FCCB for ; Thu, 9 Apr 2015 17:45:48 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 74.125.82.46 as permitted sender) identity=mailfrom; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f46.google.com) identity=helo; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wg0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CnAQBonSZVlS5SfUpchDbMG4FAPBABAQEBAQEBEQEBAQEHDQkJEjCEIAEBAwESKAYBOAEDAQsBBQVGNAEFARwGNYd0AwkIBAGrCj4xkBmMDScNhToBCgEBARgBBQ6LHYRJg1GBFgEEnCKFfol/ggE1gRVbgzhtgkMBAQE X-IPAS-Result: A0CnAQBonSZVlS5SfUpchDbMG4FAPBABAQEBAQEBEQEBAQEHDQkJEjCEIAEBAwESKAYBOAEDAQsBBQVGNAEFARwGNYd0AwkIBAGrCj4xkBmMDScNhToBCgEBARgBBQ6LHYRJg1GBFgEEnCKFfol/ggE1gRVbgzhtgkMBAQE X-IronPort-AV: E=Sophos;i="5.11,550,1422918000"; d="scan'208";a="109004853" Received: from mail-wg0-f46.google.com ([74.125.82.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Apr 2015 17:45:47 +0200 Received: by wgin8 with SMTP id n8so124602488wgi.0 for ; Thu, 09 Apr 2015 08:45:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:content-type:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=niHuzjfRmRVTFfGQG03fQwGCpW5zjIP39NWxh8CWFtI=; b=LrVQlF+hgV4weUYmb9YjJYoB4llCchFBgRkbj2Zl0tYW0g7kgZls4zldtWygScoEFO qDyCnHCCOW8+XOwYTxAcRx+lKxCluFNVP7FKUFtf+DHClIEzNYTMDDlDlKhaEwmsxrRi KPmfwrnby+fKRI+EPB+RRUQLbM016wRl8mt3iDWjDfun7FZkef73DGisn8DXkElnjj46 RGB/93MqVZNUI/jAQQWEaNxcRjV+x3EhfEw11Z7g7xQ8YwKnPwShtLKkS4alEngNPDNS X2+W/qkIuYiuYBiW963/yHSb+l+mDuPoXRMP3VO2Jg2GQPHhBueVFqa9YEhyV9jH8GIY nbqQ== X-Received: by 10.194.61.82 with SMTP id n18mr6009152wjr.35.1428594346998; Thu, 09 Apr 2015 08:45:46 -0700 (PDT) Received: from [192.168.1.44] (car06-8-83-155-104-81.fbx.proxad.net. [83.155.104.81]) by mx.google.com with ESMTPSA id ng5sm20670454wic.24.2015.04.09.08.45.45 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Thu, 09 Apr 2015 08:45:45 -0700 (PDT) Sender: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) From: Thomas Gazagnaire In-Reply-To: Date: Thu, 9 Apr 2015 17:45:44 +0200 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: References: <2f9c74beafcf41f3ab30324fb1ece739@nleyten.com> <55257AAD.6030004@zoho.com> <5297cdaceccd6db2a60700bf686ccfb7@nleyten.com> <1428576994.22412.21.camel@e130.lan.sumadev.de> To: Dario Teixeira X-Mailer: Apple Mail (2.2070.6) Subject: Re: [Caml-list] META file standards for ppx extensions Hi, first I think it's a good idea to have a proper convention for ppx pre-proc= essors. And I like your proposal. I just have a question, though: > package "syntax" ( > version =3D "1.0" > description =3D "Camlp4-based syntax extension for Fooloot" > requires =3D "camlp4 fooloot" > archive(syntax, preprocessor) =3D "pa_fooloot.cma" > archive(syntax, toploop) =3D "pa_fooloot.cma" > archive(syntax, preprocessor, native) =3D "pa_fooloot.cmxa" > archive(syntax, preprocessor, native, plugin) =3D "pa_fooloot.cmxs" > ) >=20 > package "ppx" ( > version =3D "1.0" > description =3D "New-style (ppx) syntax extension for Fooloot" > requires =3D "fooloot" > ppx =3D "ppx_fooloot" > ) How do you compose ppx extensions using META? Can you require "barloot.ppx"= ? The camlp4 "syntax" packages are usual ocaml libraries, so the rules of c= omposition are (almost) clear. How does it work when you want to compose pp= x rewriters? Thomas=