[m-dev.] Hash-consing

[Thomas Conway]

Hi

There was talk some time ago about implementing hash consing.
I don't recall seeing it ever arrive, and a brief check of the
documentation and the source doesn't reveal its presence to me.

Did it happen? What is the status?

-- 
 Thomas Conway )O+     Every sword has two edges.
     Mercurian            <conway at cs.mu.oz.au>
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------