[m-dev.] For review: updates to library/rbtree.m

[Fergus Henderson]

On 12-May-2000, Warwick Harvey <wh at icparc.ic.ac.uk> wrote:
> As per some private mail exchanged with Fergus, I've been looking at the
> rbtree module, as an alternative to tree234 as the underlying
> implementation of map.  It was missing a few things that tree234 has,
> and as such was not plug-in compatible.  These changes fix that by
> bringing rbtree "up to speed", so to speak.

That change looks good, Warwick.

> These changes come in two parts.  The first part just adds the missing
> functionality to the interface, and is all I need.  The second part adds
> limited support for unique modes, so that the module truly is a drop-in
> replacement for implementing map.  I added this mainly so I can test the
> module by bootchecking the compiler using it (in progress), but partly
> also just to see if I could get the modes to work.  I'll adjust the log
> message if necessary, depending on which version you folks want me to
> commit.

I'd prefer the version with unique modes.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------