Hello all,
I would like to build an interface for plugins that allow to extract at the
same time a very specific data for a plugin family and to extract
general help for plugins.
Here is an example:
(** All the plugins I want to manage *)
type plugin_kind = [`Build | `Install]
(** Generic
On Fri, Oct 8, 2010 at 10:13 AM, Sylvain Le Gall sylv...@le-gall.net wrote:
This code doesn't compile because I see no way to explain that F.kind is
included into plugin_kind.
As you have written it, F.kind is of course completely abstract. I am
not sure where you need F.kind to be a strict
On 2010/10/09, at 2:13, Sylvain Le Gall wrote:
Hello all,
I would like to build an interface for plugins that allow to extract at the
same time a very specific data for a plugin family and to extract
general help for plugins.
Here is an example:
[...]
This code doesn't compile because