gc tweaks

Stephen Weeks MLton@sourcelight.com
Wed, 22 Aug 2001 09:21:36 -0700

> Maybe my coffee just hasn't kicked in yet, but how does `share' work?
> Some kind of common-subobject-elimination?  It just seems that the
> equality test would be prohibitively expensive.

I assume it uses hash consing, where mutable objects are always not equal.