From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <whitequark@whitequark.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
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 A45547FA5F
	for <caml-list@sympa.inria.fr>; Tue, 31 Jan 2017 22:02:41 +0100 (CET)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=whitequark@whitequark.org; spf=Pass smtp.mailfrom=whitequark@whitequark.org; spf=None smtp.helo=postmaster@uruz.whitequark.org
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  whitequark@whitequark.org) identity=pra;
  client-ip=188.166.218.19;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="whitequark@whitequark.org";
  x-sender="whitequark@whitequark.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  whitequark@whitequark.org designates 188.166.218.19 as
  permitted sender) identity=mailfrom;
  client-ip=188.166.218.19;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="whitequark@whitequark.org";
  x-sender="whitequark@whitequark.org";
  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@uruz.whitequark.org) identity=helo;
  client-ip=188.166.218.19;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="whitequark@whitequark.org";
  x-sender="postmaster@uruz.whitequark.org";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3ALlXvIRXbXiwmQ/Gd1BJ8xPt1913V8LGtZVwlr6E/?=
 =?us-ascii?q?grcLSJyIuqrYZhaDt8tkgFKBZ4jH8fUM07OQ6PG8HzJdqs/d6zhCKMUKDEBVz5?=
 =?us-ascii?q?1O3kQJO42sNw7SFLbSdSs0HcBPBhdO3kqQFgxrIvv4fEDYuXao7DQfSV3VPAtx?=
 =?us-ascii?q?IfnpSMaJ15zkn8j7wZDYYh1JiTyhevsyaUzu9USC/vUR1KV4I6C+zRrSlUNPZ/?=
 =?us-ascii?q?hXyHkgcVyJlhD34caruoZk7zhRtugJ9shaUKy8cb5uHpJCCzFzLGA0+MDyqBDZ?=
 =?us-ascii?q?TkPb+XsdTmgPjxNSACDa7BDmU47suzH58O1n13/JboXNUbkoVGH6vO9QQxjyhX?=
 =?us-ascii?q?JCbmZh/Q=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CgBgAu+5BY/xPaprxdHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBgyiEck6cEJdAhiICgjdDFAEBAQEBAQEBAQEBYSiCMwQBFgEEghc?=
 =?us-ascii?q?BBSMPAQVBEAQHCQ8CAhgOAgIsKwYbiWqsL4IlizkBAQEBBgIBJYELhT+EcIdSg?=
 =?us-ascii?q?l8BBJtXglSPIZEBkn82IYFYQ4Y5QIcRgU4BAQE?=
X-IPAS-Result: =?us-ascii?q?A0CgBgAu+5BY/xPaprxdHAEBBAEBCgEBFwEBBAEBCgEBgyi?=
 =?us-ascii?q?Eck6cEJdAhiICgjdDFAEBAQEBAQEBAQEBYSiCMwQBFgEEghcBBSMPAQVBEAQHC?=
 =?us-ascii?q?Q8CAhgOAgIsKwYbiWqsL4IlizkBAQEBBgIBJYELhT+EcIdSgl8BBJtXglSPIZE?=
 =?us-ascii?q?Bkn82IYFYQ4Y5QIcRgU4BAQE?=
X-IronPort-AV: E=Sophos;i="5.33,316,1477954800"; 
   d="scan'208";a="258291073"
Received: from uruz.whitequark.org ([188.166.218.19])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 31 Jan 2017 22:02:37 +0100
Received: by uruz.whitequark.org (Postfix, from userid 1002)
	id 5673E20D97; Tue, 31 Jan 2017 21:02:33 +0000 (UTC)
To: =?UTF-8?Q?Fran=C3=A7ois_Pottier?= <francois.pottier@inria.fr>
X-PHP-Originating-Script: 0:rcube.php
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 8bit
Date: Tue, 31 Jan 2017 21:02:33 +0000
From: whitequark <whitequark@whitequark.org>
Cc: Drup <drupyog+caml@zoho.com>, caml-list@inria.fr
In-Reply-To: <d26ab300-f531-9ac0-494a-33cd43183c6b@inria.fr>
References: <588B89B9.8000502@inria.fr>
 <fc83f6ab-90a1-8ac1-7585-a15fb7fe89bd@zoho.com> <588F6415.4000900@inria.fr>
 <1115108d11d3bb3d740e191d00ed7ebc@whitequark.org>
 <d26ab300-f531-9ac0-494a-33cd43183c6b@inria.fr>
Message-ID: <4060c67d383884ab6cc4686124ae7212@whitequark.org>
X-Sender: whitequark@whitequark.org
User-Agent: Roundcube Webmail/1.2.3
Subject: Re: [Caml-list] [ANN] visitors

On 2017-01-31 10:26, François Pottier wrote:
> Hello,
> 
> On 31/01/2017 10:30, whitequark wrote:
>> I wrote this tool long ago, it's called ppx_import[1]. In fact it 
>> motivated
>> some improvements to the compiler, chiefly the way to extract the set 
>> of
>> -I paths.
>> It's even linked from ppx_deriving README[2].
> 
> This is very cool, and I had missed it. Thanks for pointing it out.
> I will refer to it in the visitors documentation.
> 
> By the way, the ppx_deriving README says that ppx_import is useful
> "in the case where no attributes need to be attached",
> but it is more useful than that,
> since the "@with" form actually allows attaching attributes a 
> posteriori.

That paragraph predates [@with]. I've updated it now.

-- 
whitequark