Browse thread
[ANN] Kaputt 1.0 alpha
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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. Jeremy. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.