Re: [Ocaml-lib-devel] properties of symbols

[Nicolas C. <war...@fr...>]

> On Sun, 25 Apr 2004, Henri DF wrote:
>
> > thanks for the pointer. i (naively) thought that anything which "takes
> > away
> > polymorphism" could only improve efficiency, and that this would extend
to
> > functors.
> >
> > [OT] i wonder when there is ever a case for functors then..
> >
[...]
> On my wish list: int, bool, float, and char modules.  These would take a
> lot of the pain out of using functors.

You forgot :
(int * int)
(string * int list)
(int * char * bool)
...
...
...
Since there is so much (infinity) core-types, we can't declare module types
for all of them, so set is broken :'(

Nicolas Cannasse