Kind of StableName

[Simon Marlow]

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