Re: On uninterned symbols

[Marius Vollmer]

Martin Grabmueller <address@hidden> writes:

> What do you mean with `canonicalize'?  That they are in a hash table
> so symbols with equal names are eq? ?  Then yes, that is only for
> reading them in after printing.

To make this work consistently across sessions, the hash table for
`uninterned' symbols would need to be persistent across sessions
itself, and globally unique (like, on a central server).  I don't
think we want that.