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

[Martin J. <mar...@em...>]

On Sun, 25 Apr 2004, Martin Jambon wrote:

> On Sat, 24 Apr 2004, Christoph Bauer wrote:
>
> > Hi,
> >
> > > That's really cool!
> > >
> > > Since I don't like to use functors, I translated it into a functor-free
> > > version.
> > > The difference is that you need to create the symbol_table using
> > > Symbols.make_table.
> >
> > And who will call Symbols.make_table?  And then you cannot mix string-Symbols
> > and Variant-symbols in the same program. Please explain the advantages of your
> > modifications.
>
> Sorry, there are a few things that I misunderstood in your implementation.
> Correct me if I am wrong:
> 1) only one global table is created for storing symbols of any type

Of course a fresh table is created with every functor application.
Sorry.