Kind of StableName
simonmar at microsoft.com
Tue Mar 29 09:38:07 EST 2005
On 28 March 2005 11:25, Nicolas Oury wrote:
> I try to use StableNames for hash consing on complex types - I have to
> mix in a same table StableNames of different types - and I wonder why
> StableName is of kind * -> * and not *.
I think we gave StableName the extra type parameter to help with type
safety. But I can't think of a convincing example right now... anyway,
it would be quite easy to build an alternative StableName implementation
without the type parameter. Take a look at the source code for
System.Mem.StableName, it's quite short.
More information about the Glasgow-haskell-users