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. Cheers, Simon