From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dmitry.bely@gmail.com>
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 823437F0D9
	for <caml-list@sympa.inria.fr>; Tue, 25 Aug 2015 17:10:23 +0200 (CEST)
IronPort-PHdr: 9a23:nA1xLxxBFf+PMC/XCy+O+j09IxM/srCxBDY+r6Qd0e0XIJqq85mqBkHD//Il1AaPBtWAra8VwLaL+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStWU0pX8i7360qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jAvBzHBS+O/WdUBm4flx4NBwne8Dn7WI3wu230rLwu9jOdOJjaSLEoQyXqxapvWVe8hCIGKyQotmvajt1Yg6dSoRbnrBt6ld2HKLqJPeZzK/uONegRQnBMC4MID3RM
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dmitry.bely@gmail.com; spf=Pass smtp.mailfrom=dmitry.bely@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f179.google.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  dmitry.bely@gmail.com) identity=pra;
  client-ip=209.85.223.179;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dmitry.bely@gmail.com";
  x-sender="dmitry.bely@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  dmitry.bely@gmail.com designates 209.85.223.179 as permitted
  sender) identity=mailfrom; client-ip=209.85.223.179;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dmitry.bely@gmail.com";
  x-sender="dmitry.bely@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-io0-f179.google.com) identity=helo;
  client-ip=209.85.223.179;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dmitry.bely@gmail.com";
  x-sender="postmaster@mail-io0-f179.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DmAQAUhdxVm7PfVdFdg29pBoMfrxeLWYF3hygHOhIBAQEBAQEBARABAQEBAQYLCwkhLoIdgh8RHQEbHgMSEA8CJgIkAREBBQEiNYd2AQMSDaJ/ggWBLz4xi0CBbIJ5iisKGScNV4R9AQEEDoEUki+BQwWNXIdbhQaHbJkIEiOBFxeEEDszgkwBAQE
X-IPAS-Result: A0DmAQAUhdxVm7PfVdFdg29pBoMfrxeLWYF3hygHOhIBAQEBAQEBARABAQEBAQYLCwkhLoIdgh8RHQEbHgMSEA8CJgIkAREBBQEiNYd2AQMSDaJ/ggWBLz4xi0CBbIJ5iisKGScNV4R9AQEEDoEUki+BQwWNXIdbhQaHbJkIEiOBFxeEEDszgkwBAQE
X-IronPort-AV: E=Sophos;i="5.15,746,1432591200"; 
   d="scan'208";a="174804635"
Received: from mail-io0-f179.google.com ([209.85.223.179])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Aug 2015 17:10:22 +0200
Received: by iods203 with SMTP id s203so190077850iod.0
        for <caml-list@inria.fr>; Tue, 25 Aug 2015 08:10:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=TfOV49fGlWOUOO+ZNp8jvmyhLrEwv2hIFZAT524inzQ=;
        b=FL5iBpX3UlGPoS2+axoGKx7pfzPca30QjXrKlQ4yWBefQS8QvB57p/snrDYHf/BvmO
         ZXkGOfw27LXFV6pcmZg3osdLmGZ2k8f7nEU4dybtY6kYzZmKtbdd8W75YS535wFEugjR
         VWl9dnfqGMVtMhSuTFXdz1hs+DbA6V6h87H6sfETS95SJbtwZ5M2JlrVFiFGUKqzzBhd
         Yng+aqEMRQimrDCz5wi6UQuAcYKafKjMFbbsV1KyyXp+/Rh6unoNpte14NO3WJGpI5/x
         y+keYokv7A36duiuCkBJCW7X/hcTY33npQEHp2Ygc6vtve59lyawILyel9cMvA0RtT1Y
         y1+w==
MIME-Version: 1.0
X-Received: by 10.107.41.76 with SMTP id p73mr22689857iop.58.1440515421850;
 Tue, 25 Aug 2015 08:10:21 -0700 (PDT)
Received: by 10.50.4.166 with HTTP; Tue, 25 Aug 2015 08:10:21 -0700 (PDT)
Date: Tue, 25 Aug 2015 18:10:21 +0300
Message-ID: <CAMT7qiR_ynRmhUw89M_vQLXSD9+8y5gf+AUcgTchQHWSf6nEoA@mail.gmail.com>
From: Dmitry Bely <dmitry.bely@gmail.com>
To: Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: [Caml-list] ppx alternative to Campl4 macro?

Currently ppx extensions and Camlp4 cannot coexist:
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