English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[ANN] Kaputt 1.0 alpha
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-11-25 (09:51)
From: Jeremy Yallop <jeremy.yallop@e...>
Subject: Re: [Caml-list] [ANN] Kaputt 1.0 alpha
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.


The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.