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 DE5DF8240C for ; Sat, 5 May 2018 00:20:55 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=stecksoft@gmail.com; spf=Pass smtp.mailfrom=stecksoft@gmail.com; spf=None smtp.helo=postmaster@mail-pg0-f51.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of stecksoft@gmail.com) identity=pra; client-ip=74.125.83.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stecksoft@gmail.com"; x-sender="stecksoft@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of stecksoft@gmail.com designates 74.125.83.51 as permitted sender) identity=mailfrom; client-ip=74.125.83.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stecksoft@gmail.com"; x-sender="stecksoft@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-pg0-f51.google.com) identity=helo; client-ip=74.125.83.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stecksoft@gmail.com"; x-sender="postmaster@mail-pg0-f51.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AGCve8hxr/+5Fz3nXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OMfIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiS?= =?us-ascii?q?cIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CRWRPUMVfWTFfDIyg?= =?us-ascii?q?dIYPE/YNMPxEo4Xhu1cDrx2zDhSsCuP1zT9Ig2f70aMg3es7DAHG2BErEs4UvH?= =?us-ascii?q?/Jsdv1KLkdXvy2zKnM0zrDdf1a0ir65YjTbhAuv+2DXbFrfMrK1UkgCR/KjlaL?= =?us-ascii?q?qYziMTOVyv4BvHSc7+plTO+ijXMspQ92ojiq3Mgsi4/Ji5oaylDF6SV5wJs1Ks?= =?us-ascii?q?aiREFnZt6kFZ1dvDyZOYtuWs4vQW5ltDwnxrEYuZO3ZisHxZo9yxPfdvCKdZWD?= =?us-ascii?q?7Aj5W+aLOzh4gWpoeLKhiBa29kit0uj8WdO10FZOtyZFitbMumwU2xzd6sWLV+?= =?us-ascii?q?Fx/kim2TaI2ADT7v9LLVoomqrcLp4t2r8wlpwNvkTfBiL7mkr7gLWLekk6+uWk?= =?us-ascii?q?8efqb7v8qpKcKoN4kgT+Pb4vmsy7D+Q4KA8OX22D9OSnyL3s41H2QLZRjv0xnK?= =?us-ascii?q?nZrIvXJcsepqGjAg9V1pwv5Aq4DzejyNgYh2UILEpZeBKbiIjkI03BL+r9Dfe7?= =?us-ascii?q?mlislDZrx+vaPrD6GZXMLn3DkK/7crpn6k5czhAzzdFF6J5OBLEBOqG7Zkikk9?= =?us-ascii?q?fRCxtxFgW1x+fhB51Z15gCETaEC6qddafTqkOg5+Q1IuDKapVD6xjnLP1wrcbn?= =?us-ascii?q?kHtxsBlVRrWk1pgTZWryVqB9P0iSYlL3ntoKEnwNsBZ4R+vv3g7RGQVPbmq/Cv?= =?us-ascii?q?pvrgowD5irWMKaHtj00e6xmRyjF5gTXVhoT1WFEHPmbYKBAq5eZyebI8snmTsB?= =?us-ascii?q?B+H4F90RkCq2vQq/8IJJa/LO83RB553m3dlxoebUkENqrGEmP4Gmy2iIClpMsC?= =?us-ascii?q?YISjsxhv0tpEV8zhKb3vA9jaEBU9NU4PxNX0ExMpuOl+E=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B7AgCv2+xahjNTfUpcHQEBBQELAYQle?= =?us-ascii?q?igKg2SUdUIHAQEGgSOBE5Q9A14jhnwHGQcBBDMVAQIBAQEBAQEBAQETAQEBCAs?= =?us-ascii?q?LCCgjDII1JAGCeB0BOQMNBRAPAiYCJBIBBQEiGxOEYQMIDQ+aG4MdPIsFghyCc?= =?us-ascii?q?AWDdSYNgSuCMAIBBRJ3hxwRe4EHgQ+GHAKEYIJUApgdCAKBNoQsiGiMWolChnU?= =?us-ascii?q?PAx6BBDKBdHAVbAaCDHOBIYNoim4jMAGQGQEB?= X-IPAS-Result: =?us-ascii?q?A0B7AgCv2+xahjNTfUpcHQEBBQELAYQleigKg2SUdUIHAQE?= =?us-ascii?q?GgSOBE5Q9A14jhnwHGQcBBDMVAQIBAQEBAQEBAQETAQEBCAsLCCgjDII1JAGCe?= =?us-ascii?q?B0BOQMNBRAPAiYCJBIBBQEiGxOEYQMIDQ+aG4MdPIsFghyCcAWDdSYNgSuCMAI?= =?us-ascii?q?BBRJ3hxwRe4EHgQ+GHAKEYIJUApgdCAKBNoQsiGiMWolChnUPAx6BBDKBdHAVb?= =?us-ascii?q?AaCDHOBIYNoim4jMAGQGQEB?= X-IronPort-AV: E=Sophos;i="5.49,363,1520895600"; d="scan'208";a="264390803" Received: from mail-pg0-f51.google.com ([74.125.83.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 May 2018 00:20:54 +0200 Received: by mail-pg0-f51.google.com with SMTP id p9-v6so13415279pgc.9 for ; Fri, 04 May 2018 15:20:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:from:date:message-id:subject:to; bh=KNYMVLBzs0gKfZGWcSInmIm2Subyuas1azwRu5KjAtw=; b=mz3MSRUJ/LmH/mUa49E9g+YKHajd7U/7RUiB4FJDBX7AW8P+tqg1ySfka5qD3H86Kh WyUoGc1Effe/qJn7bMqDfpalHQfZKOjWyZdWD7pZ1IQFvt/Ti+dlwMdQTgcwPB/sVllQ ovBbigrIfFXjNw5xW2f2GrTsKBnELcKo3XvCL9dJsQMFc/W+Fh0n2EcSNYq+fMy3EfsL xGdvwV6tQlOFQL7hxGZc0dXP7wTqbTXvS1gFH+4MZSI3+rFojlxGWSjz3NiCFZqTGME5 Q0RUSH7voIrOaRkhk9kOwnj6kTdS2F056bJpxxDvtideRxOhLrbldoHMxL+L9wYv8SPH UY9w== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=stecksoft-com.20150623.gappssmtp.com; s=20150623; h=mime-version:sender:from:date:message-id:subject:to; bh=KNYMVLBzs0gKfZGWcSInmIm2Subyuas1azwRu5KjAtw=; b=Z8vqmqzyKeMngvSf8JjWEmyFvftqbsek9tvqkv82JasU1/ypum+c8Wv7rFw3XMBDfU KEstlb6x+rLDtl94VpV27uHHarus4xfk2Igy/mUE1nltC9Z/sTCIM3jOdRSm0efw1+Yq yUmbL8XfBKhVViBBZMDa6S2Q6jPaHQyquUv1rq2fRSHQLQBXTpAVr8fj9i48y4bCqM3X n9PsEH+7mEPNT+1cqr5VJydXhFtM0f8NMkK5tOwPGU/FY/IdnfrdcaPnPj3PUILOIQKM CtDHT0WYOB0SuNe5ZP9c4BIZqisnmoeIwnMpMy4HbaKLC4ARdFGCplL/YgjIjid7dPm4 Adtw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=KNYMVLBzs0gKfZGWcSInmIm2Subyuas1azwRu5KjAtw=; b=oAgezGldLaDKkjRu9EAc9iBKSlpalwRhrSjc4m7wYv5S0Hsfx9Chq7MR2UW1yXIz+Q zKnk6wZXX3YfPyf/XRR6gbffJ58Iy8hNPm51NYgUQ25DZH/8KpEkiXdRbky9k4PVHC5x gfjYwI2gwQWgDVJxTW2FaI7xfJPq2q8Slbkyivt+zwnr0pN3LGTmFbW7Fd9QfFEsweHT zvjrSHLFLZv3PKWZ+rvzRJv6ZK7UbFuPuL2VdqhGqyxDuu/KKhm2+iYUFFW5aW9Uu1nn z5KzPAomsRiIBVs8bxYnpmwicXelfqPVBTe8lMAPFdAOsPnww1St3BZiJtiA63x01Xf8 j1Yw== X-Gm-Message-State: ALQs6tBueAQQi1/pVomMWg2YV/+Rx8TbMyfno3/BwJ71WTOnANZbiqer tLixyS+Qh1WS5yab6Yh0aR55JOWq0p5aT59x4icmbA== X-Google-Smtp-Source: AB8JxZoGWjjVf5QvxuAeqmvJ9c+I8jyVdZmHo6LHViKNiw3Tky4OqR8GCtI8cQW+FEHVqYpUlofg9N1GVBotCajkrGg= X-Received: by 2002:a63:b70b:: with SMTP id t11-v6mr22976562pgf.193.1525472452412; Fri, 04 May 2018 15:20:52 -0700 (PDT) MIME-Version: 1.0 Sender: stecksoft@gmail.com Received: by 10.91.211.202 with HTTP; Fri, 4 May 2018 15:20:21 -0700 (PDT) From: "Paul A. Steckler" Date: Fri, 4 May 2018 18:20:21 -0400 X-Google-Sender-Auth: uhb9E3Cz8G8aD4JHWjmpZ2C6zTE Message-ID: To: Ocaml Mailing List Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] Porting old-style ppx to driver-style? There's a nice OCaml library, available via OPAM as "lens", which allows deriving lenses for record types. By adding the following clause in a jbuild file, the ppx works fine: (preprocess (action (run ppxfind -legacy lens.ppx_deriving,ppx_deriving.std --as-pp ${<}))) But adding "ppx_inline_test" to this clause doesn't allow an "(inline_tests)" clause to work, and when building a library, only one "preprocess" clause appears to have an effect. Using the ppx within a "(preprocess (pps ...))" clause does not succeed. So I can have lenses, or inline tests, but not both. I believe the solution is to turn the ppx into a new-style "driver". What's the best way to do that? Is it as simple as changing the build to use a jbuild as described in the section "Creating a new Ppx_driver based rewriter"?: https://github.com/janestreet/ppx_driver Do I need to make any other code changes? -- Paul