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 4D272800D1 for ; Thu, 2 Feb 2017 00:49:37 +0100 (CET) Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of whitequark@whitequark.org) identity=pra; client-ip=188.166.218.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="whitequark@whitequark.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@uruz.whitequark.org) identity=helo; client-ip=188.166.218.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="postmaster@uruz.whitequark.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AyUIEDBHZ2SsGD7I7ZfF2mp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zrsmwAkXT6L1XgUPTWs2DsrQf2raQ7fCrADJIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbx/IA+3oAjSucUanIpvIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ky?= =?us-ascii?q?oMKSI3/3/LhcxxlKJboQyupxpjw47PfYqZMONycr7Bcd8GQGZMWNtaWS5cDYOm?= =?us-ascii?q?d4YBEfcPMulEoIfyqVUArRmxBQevCuLgxDBFnWP20K440+g9DQ3Lxg4tEtQTu3?= =?us-ascii?q?rUttX1M6ISXPi7zanIzDXDc+1Z2S7g6IfSaBAhouyHULV+cMrRyEkvCx3KjkyN?= =?us-ascii?q?qYP/JTOV1f8Asmab7+phSeKglXcnqxxrrTi1xccgkI7Jhpgayl3d8yhy3Yg7Jd?= =?us-ascii?q?q9SEFhYN6kFoNdty6bN4tqQsMiXnpntDwmxb0BvJ62ejUBxpc/xxPHdvCKcIuF?= =?us-ascii?q?7gj+WOuQIDp0nmxpdK+8ihqo7EStzuvxXdSu3llQtCpKiNzMu2gN1xPN7siHTe?= =?us-ascii?q?Nw/lq72TaS1gHf8O9FIUA1larHNZEh26MwmYAJsUTABCP2n1/2jKCOekUl/Oin?= =?us-ascii?q?9fjnb637qpKfNIJ4kBzyP6Uvl8ClH+g0LwsDU3KG9em4zLHj+Ff2QLROjv04iK?= =?us-ascii?q?nZt5XaKNwVp665Ag9Vzpgs6w+iDzi8ytQYnmIKLVxFeBKGk4jmJUjOIO3iAvel?= =?us-ascii?q?gFSgijBrx+rJPrH5GJXCMmDDkKv9fbZ680NT1BA8zdVb555NDrEBIenzWlPqud?= =?us-ascii?q?zDDh45NhS0zPz9BNV80IMeQ2OPDbWDPKPcq1+C/vgvLPWUZI8JpDb9LOAo5/D2?= =?us-ascii?q?jX8+hV8dYaip0oUNaH2jH/VmIkCZbmH2gtgbC2sKvww+TPbriFKYSzJTaWyyDO?= =?us-ascii?q?oA4WQVEouggoDCXbeVh6Cd3SqhVslYfGlAAVeNCjHwcJmYWvoWQCOUOM5o1DIe?= =?us-ascii?q?A+uPUYgkgA6utRP30qduNOmcrjIYtI7uzcV8/e77ihEz6TFtEs2H0CeKVW4izT?= =?us-ascii?q?BAfCM/wK0q+R818VyEy6UtxqUATdE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D6BAAXc5JY/xPaprxdHAEBBAEBCgEBF?= =?us-ascii?q?wEFAQsBgylhgQmDV5wPl0IshXYCgkBDFAEBAQEBAQEBAQEBYSiCMxsBghsBBSM?= =?us-ascii?q?PAQVBEAQHCQ8CAhgOAgIsKwYbiW4KrGWCJYsrAQEBAQEFAQEBAQEeBYELhT+Ec?= =?us-ascii?q?IdTgl8Fm1yCVIQTixOBao8ckwE2IYFYhwVANYhpAQEB?= X-IPAS-Result: =?us-ascii?q?A0D6BAAXc5JY/xPaprxdHAEBBAEBCgEBFwEFAQsBgylhgQm?= =?us-ascii?q?DV5wPl0IshXYCgkBDFAEBAQEBAQEBAQEBYSiCMxsBghsBBSMPAQVBEAQHCQ8CA?= =?us-ascii?q?hgOAgIsKwYbiW4KrGWCJYsrAQEBAQEFAQEBAQEeBYELhT+EcIdTgl8Fm1yCVIQ?= =?us-ascii?q?TixOBao8ckwE2IYFYhwVANYhpAQEB?= X-IronPort-AV: E=Sophos;i="5.33,322,1477954800"; d="scan'208";a="211721104" Received: from uruz.whitequark.org ([188.166.218.19]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 Feb 2017 00:49:34 +0100 Received: by uruz.whitequark.org (Postfix, from userid 1002) id BA16C204AC; Wed, 1 Feb 2017 23:49:30 +0000 (UTC) To: =?UTF-8?Q?Fran=C3=A7ois_Pottier?= 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: Wed, 01 Feb 2017 23:49:30 +0000 From: whitequark Cc: =?UTF-8?Q?Emilio_Jes=C3=BAs_Gallego_Arias?= , Drup , caml-list@inria.fr In-Reply-To: <258ebe4c-3a68-41a8-829a-f73f88704e03@inria.fr> References: <588B89B9.8000502@inria.fr> <588F6415.4000900@inria.fr> <1115108d11d3bb3d740e191d00ed7ebc@whitequark.org> <5405f1db-c2d7-7a4e-6473-8daf314ce323@inria.fr> <87shnx52rt.fsf@rochefort> <258ebe4c-3a68-41a8-829a-f73f88704e03@inria.fr> Message-ID: <4e877279fa0df8e6a2e9b245c3da5663@whitequark.org> X-Sender: whitequark@whitequark.org User-Agent: Roundcube Webmail/1.2.3 Subject: Re: [Caml-list] [ANN] visitors On 2017-02-01 16:48, François Pottier wrote: > 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 :-) Unfortunately Emilio has the shortest implementation that's possible right now. I think this would be a fairly straightforward addition to ppx_import. -- whitequark