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 CA94F800D1 for ; Wed, 1 Feb 2017 17:48:45 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.33,320,1477954800"; d="scan'208";a="211689067" 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; 01 Feb 2017 17:48:45 +0100 To: =?UTF-8?Q?Emilio_Jes=c3=bas_Gallego_Arias?= References: <588B89B9.8000502@inria.fr> <588F6415.4000900@inria.fr> <1115108d11d3bb3d740e191d00ed7ebc@whitequark.org> <5405f1db-c2d7-7a4e-6473-8daf314ce323@inria.fr> <87shnx52rt.fsf@rochefort> Cc: whitequark , Drup , caml-list@inria.fr From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: <258ebe4c-3a68-41a8-829a-f73f88704e03@inria.fr> Date: Wed, 1 Feb 2017 17:48:44 +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: <87shnx52rt.fsf@rochefort> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] [ANN] visitors On 01/02/2017 16:50, Emilio Jesús Gallego Arias wrote: > whitequark of course will know the exact details, but indeed ppx_import > seems capable to work in your use case, see: > https://github.com/ejgallego/coq-serapi/blob/master/serlib/ser_constrexpr.ml#L49 Thanks Emilio. This works indeed, but you have to write one line for every type that you want to import. When you have 86 mutually recursive types, that seems silly :-) Anyway, just wondering. -- François Pottier francois.pottier@inria.fr http://gallium.inria.fr/~fpottier/