From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 C2D677F730 for ; Thu, 16 Mar 2017 16:34:03 +0100 (CET) Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of whitequark@whitequark.org) identity=pra; client-ip=188.166.218.19; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="whitequark@whitequark.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@uruz.whitequark.org) identity=helo; client-ip=188.166.218.19; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="postmaster@uruz.whitequark.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Agk+3fRKovziq7LqhYdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgUKf7xwZ3uMQTl6Ol3ixeRBMOAuq8C1bKd7vmoGTRZp83e4DZaKN0EfiRGoP?= =?us-ascii?q?tVtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?dazdU7TfhMWv1u2054abI0AR3GL8MoVJMQ6uoA7Nms4TiIpkYuZtm1qa6kdPLs?= =?us-ascii?q?dfxmpkOBrHnB//78utup5q/S1WsvQo38FFWKT+Oa8/SOoLIi4hNjUq5Mz3uADe?= =?us-ascii?q?RBGMri8DUmQKnwNVChLGxA76X4v8qzbzrOk73zOVa56lBYsoUCivuv84ACTjjz?= =?us-ascii?q?0KYntkqWw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D3BgCPr8pY/xPaprxeHAEBBAEBCgEBF?= =?us-ascii?q?gEBAQMBAQEJAQEBgyZhgQqDE06bZ4I6lRMqhXgCgwZDFAEBAQEBAQEBAQEBaii?= =?us-ascii?q?CMwQBHQWCOwEBAQECASMPAQU2CxAEBwkPAgIJDw4CAiwZEgYTCAqJVgMNDAqxC?= =?us-ascii?q?YImhzYDgxgBAQEBBgEBAQEkgQuFQoNngQmHWoJfBYdADJR5gl2EGos+gliOWpN?= =?us-ascii?q?NNiGBBGVJhFcdgWNANYd5gU8BAQE?= X-IPAS-Result: =?us-ascii?q?A0D3BgCPr8pY/xPaprxeHAEBBAEBCgEBFgEBAQMBAQEJAQE?= =?us-ascii?q?BgyZhgQqDE06bZ4I6lRMqhXgCgwZDFAEBAQEBAQEBAQEBaiiCMwQBHQWCOwEBA?= =?us-ascii?q?QECASMPAQU2CxAEBwkPAgIJDw4CAiwZEgYTCAqJVgMNDAqxCYImhzYDgxgBAQE?= =?us-ascii?q?BBgEBAQEkgQuFQoNngQmHWoJfBYdADJR5gl2EGos+gliOWpNNNiGBBGVJhFcdg?= =?us-ascii?q?WNANYd5gU8BAQE?= X-IronPort-AV: E=Sophos;i="5.36,173,1486422000"; d="scan'208";a="264880828" Received: from uruz.whitequark.org ([188.166.218.19]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Mar 2017 16:34:01 +0100 Received: by uruz.whitequark.org (Postfix, from userid 1002) id 2554C204EA; Thu, 16 Mar 2017 15:33:57 +0000 (UTC) To: Kakadu 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: Thu, 16 Mar 2017 15:33:57 +0000 From: whitequark Cc: Caml List In-Reply-To: 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> <87shnxzafn.fsf@rochefort> Message-ID: X-Sender: whitequark@whitequark.org User-Agent: Roundcube Webmail/1.2.3 Subject: Re: [Caml-list] [ANN] visitors On 2017-03-16 11:12, Kakadu wrote: > Can we have something like > > type ('a,'b) glist = Nil | Cons ... > type 'a list = ('a, 'a list) glist [%import crazy hack to know > constructors of glist here] > ? I actually planned this feature, but scrapped it because I did not want to implement module scoping. A PR would be warmly welcome. > > Happy hacking, > Kakadu > > On Thu, Feb 2, 2017 at 3:46 AM, Emilio Jesús Gallego Arias > wrote: >> 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çois 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 = [%import M ....] >> >> Another option is to teach deriving about modules: >> >> module M = 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 >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs -- whitequark