From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <francois.berenger@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 625587F0D9
	for <caml-list@sympa.inria.fr>; Tue, 25 Aug 2015 17:16:16 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.15,746,1432591200"; 
   d="scan'208";a="143762118"
Received: from meleze.ens.fr (HELO [129.199.99.114]) ([129.199.99.114])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 25 Aug 2015 17:16:16 +0200
Message-ID: <55DC86BF.4050209@inria.fr>
Date: Tue, 25 Aug 2015 17:16:15 +0200
From: Francois Berenger <francois.berenger@inria.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.8.0
MIME-Version: 1.0
To: caml-list@inria.fr
References: <CAMT7qiR_ynRmhUw89M_vQLXSD9+8y5gf+AUcgTchQHWSf6nEoA@mail.gmail.com>
In-Reply-To: <CAMT7qiR_ynRmhUw89M_vQLXSD9+8y5gf+AUcgTchQHWSf6nEoA@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] ppx alternative to Campl4 macro?

On 08/25/2015 05:10 PM, Dmitry Bely wrote:
> Currently ppx extensions and Camlp4 cannot coexist:

But probably, ppx extensions can coexist with cppo:

http://mjambon.com/cppo-manual-0.9.2.txt

> https://github.com/ocaml/camlp4/issues/55
> So I'm trying to create something similar to
>
> IFDEF SOMETHING THEN
> val v1 = ...
> val v2 = ...
> ...
> END
>
> But looks like it's impossible to define a extension which would
> (conditionally) include signature items. Is it really so?
>
> - Dmitry Bely