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

[Fergus Henderson]

On 16-May-2000, Warwick Harvey <wh at icparc.ic.ac.uk> wrote:
> Fergus Henderson wrote:
> > I hope you can get it working.  If you can't, let us know what
> > the failure symptom is.
> 
> I've *finally* figured out what the problem is (I wrote a "debug" tree
> module which calls both the rbtree and the tree234 modules and compares
> the results, aborting if there's a difference, and then traced the
> problem back to its source).
> 
> It looks like the problem is *not* in the rbtree module.

OK, in that case do you want to go ahead and commit your rbtree
changes?  They themselves won't break anything, will they?
It was only when you changed map to use rbtree rather than
tree234 that you got a problem, right?

> It looks like
> the preconditions for map:merge are being violated in the compiler. 
> Specifically: [...]

Thanks for the detailed bug report.

-- 
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
--------------------------------------------------------------------------