From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id A9788BB84 for ; Tue, 25 Nov 2008 10:51:42 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.33,663,1220220000"; d="scan'208";a="17578768" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Nov 2008 10:51:42 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mAP9pgHQ019166 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 25 Nov 2008 10:51:42 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvQAAMtZK0mB1xBmkWdsb2JhbACTXgEBAQEJCwoHEQW9cIJ8 X-IronPort-AV: E=Sophos;i="4.33,663,1220220000"; d="scan'208";a="31803393" Received: from treacle.ucs.ed.ac.uk ([129.215.16.102]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Nov 2008 10:51:41 +0100 Received: from lmtp2.ucs.ed.ac.uk (lmtp2.ucs.ed.ac.uk [129.215.149.71]) by treacle.ucs.ed.ac.uk (8.13.8/8.13.4) with ESMTP id mAP9pV5G028681; Tue, 25 Nov 2008 09:51:31 GMT Received: from [192.168.1.65] (host86-164-180-158.range86-164.btcentralplus.com [86.164.180.158]) (authenticated bits=0) by lmtp2.ucs.ed.ac.uk (8.13.8/8.13.7) with ESMTP id mAP9pPjw018554 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Tue, 25 Nov 2008 09:51:31 GMT Message-ID: <492BCBAF.6080607@ed.ac.uk> Date: Tue, 25 Nov 2008 09:55:59 +0000 From: Jeremy Yallop User-Agent: Mozilla-Thunderbird 2.0.0.17 (X11/20081018) MIME-Version: 1.0 To: "forum@x9c.fr" Cc: caml-list@inria.fr Subject: Re: [Caml-list] [ANN] Kaputt 1.0 alpha References: <8D0DD4BD-CCA5-4640-84E4-5F14F0804035@x9c.fr> <20081123213044.GA32214@usha.takhisis.invalid> <1227482073.4929e3d999bca@imp.ovh.net> <87tz9xt6bb.fsf@aryx.cs.uiuc.edu> <492B2184.4010300@univ-savoie.fr> <7DDCBA63-92C1-4575-A326-DEED2BD33CE9@x9c.fr> In-Reply-To: <7DDCBA63-92C1-4575-A326-DEED2BD33CE9@x9c.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Edinburgh-Scanned: at treacle.ucs.ed.ac.uk with MIMEDefang 2.60, Sophie, Sophos Anti-Virus, Clam AntiVirus X-Scanned-By: MIMEDefang 2.60 on 129.215.16.102 X-Scanned-By: MIMEDefang 2.52 on 129.215.149.71 Content-Disposition: inline X-Miltered: at discorde with ID 492BCAAE.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 camlp:01 camlp:01 runtime:01 1.0:98 wrote:01 dynamically:01 caml-list:01 library:03 library:03 separately:05 loading:05 modify:05 extension:06 forum@x9c.fr wrote: > Le 24 nov. 08 à 22:49, Christophe Raffalli a écrit : >> Or a camlp4 extension to build the intended function(s) by induction on >> the type definition. >> you could include that as part of deriving >> (http://code.google.com/p/deriving/) > > Good idea. > I would regard a deriving-based "class" for generation > of test cases as a very useful enhancement. > > However, I do not know the policy of the "deriving" > developers. Would they accept a "class" relying on > a library besides the standard library ? Yes: such contributions would be welcome. It wouldn't be necessary for users of "deriving" to link in your library unless they were actually using it. It would also be possible to distribute your "class" separately from deriving. The design of deriving (based on the underlying camlp4 facility for loading object files dynamically) allows classes (i.e. code generators) to be loaded at runtime, so there's no need to modify the whole program just to add a new class. Jeremy. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.