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 9E8477FA5F for ; Tue, 31 Jan 2017 11:26:43 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.33,314,1477954800"; d="scan'208";a="211494495" Received: from dt-64014.paris.inria.fr (HELO [128.93.64.14]) ([128.93.64.14]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 31 Jan 2017 11:26:43 +0100 To: whitequark References: <588B89B9.8000502@inria.fr> <588F6415.4000900@inria.fr> <1115108d11d3bb3d740e191d00ed7ebc@whitequark.org> Cc: Drup , caml-list@inria.fr From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: Date: Tue, 31 Jan 2017 11:26:43 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 In-Reply-To: <1115108d11d3bb3d740e191d00ed7ebc@whitequark.org> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] [ANN] visitors 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. -- François Pottier francois.pottier@inria.fr http://gallium.inria.fr/~fpottier/