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 7EA317FEE2 for ; Tue, 23 Feb 2016 14:10:13 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.22,489,1449529200"; d="scan'208";a="165699920" Received: from hp-sebastien.rsr.lip6.fr (HELO pl-59055.rocqadm.inria.fr) ([132.227.76.32]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Feb 2016 14:10:13 +0100 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.86) (envelope-from ) id 1aYCjI-00043p-8c; Tue, 23 Feb 2016 14:10:16 +0100 Date: Tue, 23 Feb 2016 14:10:16 +0100 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: Gabriel Scherer Cc: "Richard W.M. Jones" , caml users Message-ID: <20160223131016.GA15598@pl-59055.rocqadm.inria.fr> Mail-Followup-To: Gabriel Scherer , "Richard W.M. Jones" , caml users References: <20160223095607.GA10534@pl-59055.rocqadm.inria.fr> <20160223103314.GP1642@redhat.com> <20160223110556.GB15112@pl-59055.rocqadm.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: Subject: Re: [Caml-list] Coccinelle and the Dumper module Thanks a lot for your feedback, Gabriel! Sébastien. Gabriel Scherer (2016/02/23 06:46 -0500): > 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ébastien 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=Licensing/BSD#New_BSD_.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ébastien. > >