[m-dev.] for review: fix bag.m

[Mark Anthony BROWN]

Thomas Conway writes:
> 
> Hi
> 
> I spotted this bug working on some changes to appear here shortly,
> but I noticed that bag__intersect is  used by termination analysis.
> Given that the previous implementation was COMPLETELY bogus (I haven't
> looked, but I may have written the original definintion :(), someone
> who knows something about termination analysis should probably check
> what effect this change has....
> 

I haven't checked the effect on termination analysis.

> 
> library/bag.m:
> 	fix the implementation of bag intersection, which was
> 	completely bogus.
> 

s/fix/Fix/

I don't see any other problems with this change.

Cheers,
Mark
-- 
Mark Brown, PhD student            )O+  |  "Another of Fortran's breakthroughs
(m.brown at cs.mu.oz.au)                   |  was the GOTO statement, which was...
Dept. of Computer Science and Software  |  uniquely simple and understandable"
Engineering, University of Melbourne    |              -- IEEE, 1994
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------