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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id AC25E7FEE2 for ; Tue, 23 Feb 2016 12:47:05 +0100 (CET) IronPort-PHdr: 9a23:ne3lZBcxewxRThEkxXpNKbeGlGMj4u6mDksu8pMizoh2WeGdxc+zZR7h7PlgxGXEQZ/co6odzbGG7Oa9BydasN6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDtvcCNKF8ZzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9Er1dhaU/nYXTkkRlxNJBUCFsEC7Dd/NtX7BN+B0wzWbMMvBbbEyVTm44r0jHCTlgi4cKz809if3i8p8gbhWujqgoQZ+ysjaetfRfLBEf6jddMkWDVUHe4AZdStHD5j2J98VDe0HMP1wtYTxp1IS6xC5AF/oTOjmzzsAm2T7x7Zyh+8oFAWD2A07A/oPtm7VpZP7LvFBf/qyyfznxD/Zbv5SkQz26IXSfwpp9f6FV6hxfM6X0kIvGhnIlH2frIXkO3We0eFb4DvT1PZpSe/60z1vkAp2uDX6g5p1hw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f175.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.213.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.213.175 as permitted sender) identity=mailfrom; client-ip=209.85.213.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; 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@mail-ig0-f175.google.com) identity=helo; client-ip=209.85.213.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ig0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BBAACYRcxWjq/VVdFeg1g0bQaobYFOhUqKWQENgWYjhWoCgT4HOBQBAQEBAQEBARABAQEBBwsLCR8xgi2CFQEBBBIRHQEbEgwDDAYFCw0CAgkdAgIiAREBBQEKEgYBEhIQh2MBAxIOnw+BMT4xizSBaYJXhSAKGScDClGDeQEBAQEGAQEBAQEBARMBBQoEbYUXhDqDfzSDAoE6BYYXDId7iGmBQYQWiAeCJoxLjQsRHoEPHgEBgjgNEQiBZh4uAQGINwEBAQ X-IPAS-Result: A0BBAACYRcxWjq/VVdFeg1g0bQaobYFOhUqKWQENgWYjhWoCgT4HOBQBAQEBAQEBARABAQEBBwsLCR8xgi2CFQEBBBIRHQEbEgwDDAYFCw0CAgkdAgIiAREBBQEKEgYBEhIQh2MBAxIOnw+BMT4xizSBaYJXhSAKGScDClGDeQEBAQEGAQEBAQEBARMBBQoEbYUXhDqDfzSDAoE6BYYXDId7iGmBQYQWiAeCJoxLjQsRHoEPHgEBgjgNEQiBZh4uAQGINwEBAQ X-IronPort-AV: E=Sophos;i="5.22,489,1449529200"; d="scan'208";a="165689696" Received: from mail-ig0-f175.google.com ([209.85.213.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Feb 2016 12:47:04 +0100 Received: by mail-ig0-f175.google.com with SMTP id hb3so97189386igb.0; Tue, 23 Feb 2016 03:47:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type:content-transfer-encoding; bh=cCD+YlkYUlxQ2bq9TXyA6IvuGM4Av8bY86ZXWCNmobE=; b=XFej7bhIWmHNciUza1t7PTePEo/tzdLXbODGVNZeGoy4nGBp+lB8wyazYdpKqB143E KuO1oeV+DnVY+DIU0opPd5zdTv48IHCD05Sj1l3sy3TzIU8IK/xx1Xhteaq/u5xGPu8d WaToV7+ho0A+YfiryKSKoyw8VSAfDnTQzsKSW0t8NKPuYWT/lAJ2LXVPVwprnZ6YIBSU JIiGLqevm3UqiuTwKKvuIl5zO1A8Nmi3LpcUc5AnJqiHwUGM2nHGXHcBeuPjn+Hul910 2D/DR7yZ0uDL44NJoa9g4If9Iq5pQsL2+lZKNRWAb+7gSYx28NHc4Hb7unqA1PNkWkFa SGew== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:content-type:content-transfer-encoding; bh=cCD+YlkYUlxQ2bq9TXyA6IvuGM4Av8bY86ZXWCNmobE=; b=SGCYuw4NQt5u2NlwEtLlAzAdfVX034OehqTaAA+iCGyNsUlcB3vTJ4TPlOgyMwUXcR Tldmx692mEV95uUCS24XPLZ0m3XyRhl9zqy1EBad35Lcv+sfNH3vdteRStnVF8W9w7pi HD51awXOAibMbey3oj1KGjaRD0waYcfZRc97GsCfPVTQ4wLgH6ga7DurlC/UoVgfB35y UJboS1z1qVb+0GcW4l1mZZjCNKA8LibUV+TlvIRlR6qWyEtJ8i495FEuiKSZuXd5JGhC W9FzaGPXMKYANGDjYyKVs778dSLXG9myWHbPj8n4wrbJNxHhX18xoBlpXD5OGKOJ5MSo clWw== X-Gm-Message-State: AG10YOTvGJ1IRTNEOgKFmN5nA+JVacggRlLOgSZPTpEB+iffAt7q6ILO61NIacLVFRItw2lUrVTX8lkD/NYJ4Q== X-Received: by 10.50.4.1 with SMTP id g1mr16102967igg.42.1456228023094; Tue, 23 Feb 2016 03:47:03 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.17.4 with HTTP; Tue, 23 Feb 2016 03:46:23 -0800 (PST) In-Reply-To: <20160223110556.GB15112@pl-59055.rocqadm.inria.fr> References: <20160223095607.GA10534@pl-59055.rocqadm.inria.fr> <20160223103314.GP1642@redhat.com> <20160223110556.GB15112@pl-59055.rocqadm.inria.fr> From: Gabriel Scherer Date: Tue, 23 Feb 2016 06:46:23 -0500 Message-ID: To: =?UTF-8?Q?S=C3=A9bastien_Hinderer?= , "Richard W.M. Jones" , caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Coccinelle and the Dumper module This "dump" code has lived on in Extlib (to which Richard participated, I believe), and is also part of Batteries. I know that ygrek, Extlib's current maintainers, has done some fixes to it (I think we ported them into Batteries), so you may want to look there. On Tue, Feb 23, 2016 at 6:05 AM, S=C3=A9bastien Hinderer wrote: > Dear Richard, > > Thanks a lot for your prompt, positive and helpful respnse! > >> Yes. I'm not sure if it was ever licensed properly, but I'm willing >> now to (re?)license it under a liberal 3 clause, no advertising >> requirement, BSD license: >> >> https://fedoraproject.org/wiki/Licensing:BSD?rd=3DLicensing/BSD#New_BS= D_.28no_advertising.2C_3_clause.29 >> >> This is pretty close to "do what you like with it". I'm CC-ing this >> to caml-list to put this in the public record. > > Great! Thanks! > >> > Is there a more recent version of the code available? >> >> Not as far as I know, but if you search for "dumper.mli" you will see >> many copies in different places, so I suppose you'll have to go check >> if people have added useful features that you want. > > Okay. I think we are fine with what we have, at the moment. > > So there were two warnings, one about an unused "open Printf" and one > about an unused variable. > > The attached version of the module fixes them. > > I may also get rid of the "open Obj" statement and qualify all the > references to this module as I fnd this style more clear. > > Cheers, > S=C3=A9bastien. > > -- > 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