29 Dec
2005
29 Dec
'05
12:22 p.m.
Einar Karttunen wrote:
On 22.12 14:43, Christian Maeder wrote:
How can I detect this sharing in order to avoid traversing the very same symbol table for every symbol?
By using System.Mem.StableName SerTH (http://cs.helsinki.fi/u/ekarttun/SerTH/) implements this, so you can look at the source for pointers.
Thanks for your hints. What a pity that "makeStableName" goes to IO (why would this break referential transparency?) and that "StableName a" and "TypeRep" have no Ord instances. Facing RealWorld (and HashTable), Christian