From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 B2048800D1 for ; Wed, 1 Feb 2017 16:50:16 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e@x80.org; spf=Neutral smtp.mailfrom=e@x80.org; spf=None smtp.helo=postmaster@cc-tupan-roaming-a.ensmp.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of e@x80.org) identity=pra; client-ip=194.214.158.137; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.org"; x-conformance=sidf_compatible Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of e@x80.org does not assert whether or not 194.214.158.137 is permitted sender) identity=mailfrom; client-ip=194.214.158.137; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.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@cc-tupan-roaming-a.ensmp.fr) identity=helo; client-ip=194.214.158.137; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="e@x80.org"; x-sender="postmaster@cc-tupan-roaming-a.ensmp.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aa2STzxzSUPnSfV3XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0egVIJqq85mqBkHD//Il1AaPBtSHrawbwLWI++C4ACpbvsbH6ChDOLV3FDY7yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?Dq3PF4XTl8W60fyps92WOl0QxWn1XbQnAg+/q4rWt9JeuYx+Nqc80FOdrGFBfe?= =?us-ascii?q?9RxHguPVWPgxfx/O+x+oRi+mJeoaRy2dRHVPD3V7RoFfpfFjtuc00w5cnqslHh?= =?us-ascii?q?QBAd/TMzW2ESnxVPSyHf7RjhH8Si+hDmv/ZwjXHJdfb9Sqo5DHH7t/9m?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CJAACSApJYl4me1sJdHAYMGQEFAQsBh?= =?us-ascii?q?AqBCYNXinuRFYxQinIshXYCgnkUAQEBAQEBAQEBAQESAQEBAQEIFghMgjMEARY?= =?us-ascii?q?BBIIXAQQBI1YFCwsaAgUhAgIPAQRJE4lqDAqsTIIlizABAQEHAQEBAR8FgQuKL?= =?us-ascii?q?4RNgwaCXwWbWwGGZ4x9AY8bkwE2gXmFF4FtdIZPgU4BAQE?= X-IPAS-Result: =?us-ascii?q?A0CJAACSApJYl4me1sJdHAYMGQEFAQsBhAqBCYNXinuRFYx?= =?us-ascii?q?QinIshXYCgnkUAQEBAQEBAQEBAQESAQEBAQEIFghMgjMEARYBBIIXAQQBI1YFC?= =?us-ascii?q?wsaAgUhAgIPAQRJE4lqDAqsTIIlizABAQEHAQEBAR8FgQuKL4RNgwaCXwWbWwG?= =?us-ascii?q?GZ4x9AY8bkwE2gXmFF4FtdIZPgU4BAQE?= X-IronPort-AV: E=Sophos;i="5.33,320,1477954800"; d="scan'208";a="258423364" Received: from jiboia.ensmp.fr (HELO cc-tupan-roaming-a.ensmp.fr) ([194.214.158.137]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Feb 2017 16:50:16 +0100 Received: from rochefort (37.9.67.86.rev.sfr.net [86.67.9.37]) (authenticated bits=0) by cc-tupan-roaming-a.ensmp.fr (8.15.2/8.15.1/JMMC-22/Oct/2013) with ESMTPSA id v11FoET8016633 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Wed, 1 Feb 2017 16:50:15 +0100 From: e@x80.org (Emilio =?utf-8?Q?Jes=C3=BAs?= Gallego Arias) To: =?utf-8?Q?Fran=C3=A7ois?= Pottier Cc: whitequark , Drup , caml-list@inria.fr References: <588B89B9.8000502@inria.fr> <588F6415.4000900@inria.fr> <1115108d11d3bb3d740e191d00ed7ebc@whitequark.org> <5405f1db-c2d7-7a4e-6473-8daf314ce323@inria.fr> Date: Wed, 01 Feb 2017 16:50:14 +0100 In-Reply-To: <5405f1db-c2d7-7a4e-6473-8daf314ce323@inria.fr> (=?utf-8?Q?=22Fran=C3=A7ois?= Pottier"'s message of "Tue, 31 Jan 2017 13:46:14 +0100") Message-ID: <87shnx52rt.fsf@rochefort> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Miltered: at cc-tupan-roaming-a.ensmp.fr with ID 589203B6.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Auth: USER-ID emilio.gallego_arias X-j-chkmail-Enveloppe: 589203B6.000 from 37.9.67.86.rev.sfr.net/37.9.67.86.rev.sfr.net/86.67.9.37/rochefort/ Subject: Re: [Caml-list] [ANN] visitors Dear Fran=C3=A7ois, Fran=C3=A7ois Pottier writes: > Is it possible to use ppx_import to import and copy not just one type > definition, but a whole family of (possibly mutually recursive) type > definitions? 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.m= l#L49 E.