From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 1ED317F0D9 for ; Wed, 26 Aug 2015 15:10:41 +0200 (CEST) IronPort-PHdr: 9a23:Tlxqyh+nSii5+P9uRHKM819IXTAuvvDOBiVQ1KB91OscTK2v8tzYMVDF4r011RmSDd6dtasP17KempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lQciM1o/rj6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysebisB2LaQqU+jNIWWwTll9MAhPZxBD8RJb49CXg4LlTwi6faOHzTKwuSHyI4qN6AEvkjSYbLS9/+mzTm+R/iatapFSqoBkpkN2cW52cKPcrJvCVRtgdX2cUG58JDyE= Authentication-Results: mail3-smtp-sop.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-f177.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dmitry.bely@gmail.com) identity=pra; client-ip=209.85.223.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dmitry.bely@gmail.com"; x-sender="dmitry.bely@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of dmitry.bely@gmail.com designates 209.85.223.177 as permitted sender) identity=mailfrom; client-ip=209.85.223.177; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f177.google.com) identity=helo; client-ip=209.85.223.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dmitry.bely@gmail.com"; x-sender="postmaster@mail-io0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AgAQD/ud1Vm7HfVdFdgzo1aQaDHa5vjVKFewKBMQc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBBBIRHQEbHgMMBgULDQICJgICIgERAQUBHAYTIod2AQMSDaVtgS8+MYtAgWyCeYoLChknDVeEXQELGgEFDoEUijmFEYJpgUMFjVyHW4UGh2yCEJZ/EiOBFxeCHRyBVzszAQGCSgEBAQ X-IPAS-Result: A0AgAQD/ud1Vm7HfVdFdgzo1aQaDHa5vjVKFewKBMQc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBBBIRHQEbHgMMBgULDQICJgICIgERAQUBHAYTIod2AQMSDaVtgS8+MYtAgWyCeYoLChknDVeEXQELGgEFDoEUijmFEYJpgUMFjVyHW4UGh2yCEJZ/EiOBFxeCHRyBVzszAQGCSgEBAQ X-IronPort-AV: E=Sophos;i="5.17,416,1437429600"; d="scan'208";a="143852803" Received: from mail-io0-f177.google.com ([209.85.223.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Aug 2015 15:10:40 +0200 Received: by iodt126 with SMTP id t126so17602362iod.2 for ; Wed, 26 Aug 2015 06:10:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=bR42O3jl44pzn5MrW1lgP+bU9w3Uc9buZC3VToOiMY0=; b=dqp3XiZMWYP+byZcittY5KRGMf73UYQAZak6Z3jqRg5nu0qvi5mlZqwfzcV+pebRHX ZSudjlv7PFpHsQUPx6F+oWN5FEF2PlM08kSRf31at8ThQY1ZqOFFsy4hq8K+jAGyzdsk zouvCSvindVVnO0UCmZegSN8yaL+VE40K0s5pd3TTNFFaB01Ge4R1vh7vmK71s+zCnAf yUfmLsQDbnSyEVcv8hRrel3WzLFW724zV654QUmdEGGMVgvT56TmiFFye91SkKbYDAGg nPfYiYHejldRIgqGyKCo62FOJGA7Vmjn1KHYGZz3TcSnSsuum6cA2r0gE3tePZPIllOC 2S0Q== MIME-Version: 1.0 X-Received: by 10.107.27.148 with SMTP id b142mr4034130iob.114.1440594639124; Wed, 26 Aug 2015 06:10:39 -0700 (PDT) Received: by 10.50.4.166 with HTTP; Wed, 26 Aug 2015 06:10:39 -0700 (PDT) In-Reply-To: <55DC86BF.4050209@inria.fr> References: <55DC86BF.4050209@inria.fr> Date: Wed, 26 Aug 2015 16:10:39 +0300 Message-ID: From: Dmitry Bely To: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] ppx alternative to Campl4 macro? On Tue, Aug 25, 2015 at 6:16 PM, Francois Berenger wrote: > 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 Yes it does, thank you. Unfortunately any preprocessor is not compatible with ocamlmerlin so I tried to get rid of them completely; the only hope is that merlin people will implement cppo support some day. - Dmitry Bely