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 E0C948240C for ; Fri, 11 May 2018 03:19:01 +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-pf0-f177.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=209.85.192.177; 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 209.85.192.177 as permitted sender) identity=mailfrom; client-ip=209.85.192.177; 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-pf0-f177.google.com) identity=helo; client-ip=209.85.192.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stecksoft@gmail.com"; x-sender="postmaster@mail-pf0-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ai8T7MBKbUNU3Cxtb69mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeK//xwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJDUcZfVyJPDICy?= =?us-ascii?q?YZYRAeUdJutYs5XxqkESoReiGQWhBuXiwSJIiH/s2q061vwsHQ/c0gM6AtIOtG?= =?us-ascii?q?nfocnvOKwPTO610LfHwinAb/NSxzj98obEeQ0mrPGXQbJ/b9beyUo0GgPeklWf?= =?us-ascii?q?t5DqPzCO1uQKvWib8/BsWv6oi24isgx8pCWkyMkrionMnI0Vy1bE+D12wIY0Od?= =?us-ascii?q?24SFN7bsW+HJRMsCGaMo17Sd4hTWFwoCs21KEKtJqhcCUJyJkr3QPTZviZf4SS?= =?us-ascii?q?/x7uVuScLDFlj3x/Yr2/nQy98U24x+38SMa01FFKozJAktbWt3AN0wXf6tCJSv?= =?us-ascii?q?dh50uh1yuD2gLR5+1eLkA0kq3bK5ElwrEujJYcrUPDHirulEX3iq+ZaFkk9/C2?= =?us-ascii?q?5+j7ZrjqvJyROo9uhg3jNqkihNazDfk6PwUMR2Sb/P6z1Lzn/U33WrVKifg2n7?= =?us-ascii?q?HCsJDGO8sUuq25AxRS0oYt9xayFDim0NECknkGKFJJYg6Ij4/sO13WOvD3Ee+/?= =?us-ascii?q?g0iwkDds3/3JIqfuApDJLnTalLfhfK1961JHxQoozdFf4opUBasbLPLyXE/xrt?= =?us-ascii?q?3YAQUjPwy62ea0QOl6g7kDVWPHLbWYNqnfq1DAsvgyL+jKa5UUvjzwMfcN6Pvn?= =?us-ascii?q?jHt/klgYK/qHx5wSPTqAF+lia2zfKUHwj9wCFWoQ9EJqV/Dng16qSiJebHWpWK?= =?us-ascii?q?wgoDo8DdT1Xs/4WomxjenZj2+AFZpMazUDUwjUSCa6R8C/Q/4JLRmqDIpkmz0A?= =?us-ascii?q?W6KmTtZ4hx6rvQ7+jbFgK7iNo3FKhdfYzNFwotbru1Qq7zUtVpaS1miMSyd/mW?= =?us-ascii?q?ZaH2ZrjpA6mlR0zxK46YY9g/FcEoYNtfZAUwN/LZCEiuIjVI+0VQXGcdOEDl2h?= =?us-ascii?q?R4f+DA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BwAQCL7vRaf7HAVdFcGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYQkeygKg2eUcEkBAQaBKIEPhwCNVQNeI4dEBxkHAQQzFQECAQEBAQEBAQE?= =?us-ascii?q?BEwEBCQsLCCYlDII1JAGCTwEFIx0BOAEDDAEFBQsNAgImAgIhARIBBQEcBhODJ?= =?us-ascii?q?YFnAwgND6AsPIsFghyCcAWDdyYNgSuCQAIBBRJ3hxwRe4EHg2wugk9CAoRgglQ?= =?us-ascii?q?CkQOGfiwHAgKFZYVrgn2BKAGLPIIrhyNKhi8PAx6BBDKBdHAVOzEGggxzgSGDa?= =?us-ascii?q?IpuIzABkDoBAQ?= X-IPAS-Result: =?us-ascii?q?A0BwAQCL7vRaf7HAVdFcGwEBAQEDAQEBCQEBAYQkeygKg2e?= =?us-ascii?q?UcEkBAQaBKIEPhwCNVQNeI4dEBxkHAQQzFQECAQEBAQEBAQEBEwEBCQsLCCYlD?= =?us-ascii?q?II1JAGCTwEFIx0BOAEDDAEFBQsNAgImAgIhARIBBQEcBhODJYFnAwgND6AsPIs?= =?us-ascii?q?FghyCcAWDdyYNgSuCQAIBBRJ3hxwRe4EHg2wugk9CAoRgglQCkQOGfiwHAgKFZ?= =?us-ascii?q?YVrgn2BKAGLPIIrhyNKhi8PAx6BBDKBdHAVOzEGggxzgSGDaIpuIzABkDoBAQ?= X-IronPort-AV: E=Sophos;i="5.49,387,1520895600"; d="scan'208";a="264872549" Received: from mail-pf0-f177.google.com ([209.85.192.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 May 2018 03:19:00 +0200 Received: by mail-pf0-f177.google.com with SMTP id q22-v6so1897731pff.11 for ; Thu, 10 May 2018 18:19:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=rNg2+qLP/PoDWPQnul+cHclRBwVl7vNlOuoKbJ36Vgo=; b=Pzx1GgBgzIoSDizD2DcQPDfrURcn6dBLWd52diElywSWDnRKJspaol8j1rGbezN9Fs 9Ab/5DaLGhdtReBxrEus37jpEGjge/dS+ljCLgeSOGhVV8bM13X5IN2CqADhBk4nmiFS pfQ9dc4HEGewmWHougAtREzHRDfplaor8Tr4hWuCBEL6/1LvUqeK0L9W06uhKsv6Iw/f aqq4j6+d9iVDBw+AR0qPTJOWXQYZvCfs2fncYR5f7ar02MC9wwEHQT6d49StoWpnLoxJ CeUUXT2EFQZtMlOX/Z5yYUK/F/Ut9FB5JErQUJlaYuE5uFNuuWaeYBzwEkyqpwp3Clqv H4tA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=stecksoft-com.20150623.gappssmtp.com; s=20150623; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=rNg2+qLP/PoDWPQnul+cHclRBwVl7vNlOuoKbJ36Vgo=; b=VElgeuxIzGVYAGsWKbvEjg53NKS45jSZ+qJZwyjH5EN5kZF5KVJnuAV0BQQjWbV24X kh3RCWHVwarBufjzWXY5SLJuWatNqOXHsn2HhFB5Q8Dd6qfmNmsaT/IGYCzYl82Iv78w Kwx5pWDYggEneqW+Revo793uky2t3hO48YZpVCjr6Y7yNcTbGjkxGKALfylGnAQMigOY /z4dEUNciMhPRr6NigpoTLbjkG/UogT96mYKMqWXrp69bSxQjih0dnA8Szszo+K2kha+ kihBF5a7bztxD4iODgEFwAITekHDv9zbok0bTVyaRmmeJgwbmSwwZ2SU+ZeFpL/bzKPo IEwQ== 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:in-reply-to:references:from :date:message-id:subject:to:cc; bh=rNg2+qLP/PoDWPQnul+cHclRBwVl7vNlOuoKbJ36Vgo=; b=Fo2QLvtE3Zk2qpw0e2eUnd97Ns0q/idkWSzImbIwZSkpE96mu9+10Rph3Xb2M6IcEH 2VMLLm6kzZstSmse+6vTl/H0R76nt5scVkkwdslcjA4IhPNNOT+PIr++EEEaoLmBbk7r xLelwY9rpck2Ewr1HBKhkzw2W9CVuQnWAc38aZx3WVOcS0ucIGXxspOXwvPzEkio5BRT 1x46tKARJDOOgoyyKiB2TdllUAcrPoAZAFJu1V81WYW5VBXSPxwd5+gvM/2AWDKetuaY hdp0YP17eX/NkM2jd05fAAI1hwq6X87m2w3ZJMx+wTq/nGEGxejKi9RuObvJvOx+zHG9 vpHg== X-Gm-Message-State: ALKqPwfJRihNjHmHhzYka55nSWV6pigOuOUybAV5kqTRXMG19djxhN0A pkSi+BJLBtedQd4aheN7CqraNfXQ8ZkZshYVeAQ= X-Google-Smtp-Source: AB8JxZooRPD0207Gm/EMHxK8GyRHXZcJ0npVaXgQUjeEy05S/DKDv33zSRhed/q6K44OXzkLsm6M6i5DzpaS1OJ/MXI= X-Received: by 2002:a63:b746:: with SMTP id w6-v6mr2728132pgt.193.1526001538934; Thu, 10 May 2018 18:18:58 -0700 (PDT) MIME-Version: 1.0 Sender: stecksoft@gmail.com Received: by 10.91.211.202 with HTTP; Thu, 10 May 2018 18:18:28 -0700 (PDT) In-Reply-To: References: From: "Paul A. Steckler" Date: Thu, 10 May 2018 21:18:28 -0400 X-Google-Sender-Auth: x4Iz9zfpcXIiLXVO7oqi5nK1S8U Message-ID: To: Rudi Grinberg Cc: Ocaml Mailing List Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] Porting old-style ppx to driver-style? On Thu, May 10, 2018 at 3:00 AM, Rudi Grinberg wrote: > There's an existing PR to port ocaml-lens and I believe it's on the > right track: > > https://github.com/pdonadeo/ocaml-lens/pull/9 > > Perhaps you can help out with that effort? In fact, I'm using that code (and my colleague submitted it). Thanks for the clarification. -- Paul