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 DB0C5800D1 for ; Thu, 2 Feb 2017 01:46:39 +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-b.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.136; 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.136 is permitted sender) identity=mailfrom; client-ip=194.214.158.136; 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-b.ensmp.fr) identity=helo; client-ip=194.214.158.136; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="e@x80.org"; x-sender="postmaster@cc-tupan-roaming-b.ensmp.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ABzydzRHptMTxz8uQx6CsO51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ75psuwAkXT6L1XgUPTWs2DsrQf2raQ7fCrAjVIoc7Y9itdINoUD15NoP?= =?us-ascii?q?5VtjJjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScb6xv663OGq+pDVfx4AxH/kOeszf12KqlDOtsgKjJJ/I7wygk/WonpUdv?= =?us-ascii?q?1LzHlrDU2Tngrx/9q55p0l9D5f7aEP7clFBKjSb/RgC7tCA3xmHmU04Mzs/TvO?= =?us-ascii?q?VpmUrlQVVmEbnR0AKhLE5Qq7DcS5iTfzqucogHrSBsbxV71hHG36t6o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BwAABxgJJYmIie1sJdHAEFAQsBGAEBB?= =?us-ascii?q?AEBCgEBhRKDV4p6kRWJR4MJinKGHgICAoMCFQEBAQEBAQEBAQEBEgEBAQEBCAs?= =?us-ascii?q?LCB0vgjMEARYBBIIXAQQBI1YFCwsaAgUhAgIPAQRJE4lqDKx7giWLKwExgQuJJ?= =?us-ascii?q?oEJh1OCXwWbWwGjAJMBNYF6hRiBbnSHG4FOAQEB?= X-IPAS-Result: =?us-ascii?q?A0BwAABxgJJYmIie1sJdHAEFAQsBGAEBBAEBCgEBhRKDV4p?= =?us-ascii?q?6kRWJR4MJinKGHgICAoMCFQEBAQEBAQEBAQEBEgEBAQEBCAsLCB0vgjMEARYBB?= =?us-ascii?q?IIXAQQBI1YFCwsaAgUhAgIPAQRJE4lqDKx7giWLKwExgQuJJoEJh1OCXwWbWwG?= =?us-ascii?q?jAJMBNYF6hRiBbnSHG4FOAQEB?= X-IronPort-AV: E=Sophos;i="5.33,322,1477954800"; d="scan'208";a="258474537" Received: from boipeva.ensmp.fr (HELO cc-tupan-roaming-b.ensmp.fr) ([194.214.158.136]) by mail2-smtp-roc.national.inria.fr with ESMTP; 02 Feb 2017 01:46:39 +0100 Received: from rochefort (37.9.67.86.rev.sfr.net [86.67.9.37]) (authenticated bits=0) by cc-tupan-roaming-b.ensmp.fr (8.15.2/8.15.1/JMMC-22/Oct/2013) with ESMTPSA id v120kaY6007171 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Thu, 2 Feb 2017 01:46:38 +0100 From: e@x80.org (Emilio =?utf-8?Q?Jes=C3=BAs?= Gallego Arias) To: whitequark Cc: =?utf-8?Q?Fran=C3=A7ois?= Pottier , Drup , caml-list@inria.fr Organization: X80 Heavy Industries 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> <4e877279fa0df8e6a2e9b245c3da5663@whitequark.org> X-Url: https://x80.org/emilio/ Mail-Followup-To: whitequark , =?utf-8?Q?Fran?= =?utf-8?Q?=C3=A7ois?= Pottier , Drup , caml-list@inria.fr Date: Thu, 02 Feb 2017 01:46:36 +0100 In-Reply-To: <4e877279fa0df8e6a2e9b245c3da5663@whitequark.org> (whitequark's message of "Wed, 01 Feb 2017 23:49:30 +0000") Message-ID: <87shnxzafn.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-b.ensmp.fr with ID 5892816C.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: 5892816C.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 whitequark writes: > Unfortunately Emilio has the shortest implementation that's possible > right now. > I think this would be a fairly straightforward addition to ppx_import. In the lines of Fran=C3=A7ois suggestion, it would be great if ppx_import could some kind of "batch" import for modules. Imagine you want to add show to a whole module, you could do: [%import: M [@attach all [[@deriving show]]]] or module M =3D [%import M ....] Another option is to teach deriving about modules: module M =3D M [@@deriving sexp] but I am not sure what would be the best way to avoid all the boilerplate I currently have [would had submitted an issue otherwise] Best, Emilio