[m-rev.] for review: set_ctree234.member

Julien Fischer juliensf at csse.unimelb.edu.au
Fri Nov 5 15:45:36 AEDT 2010

On Fri, 5 Nov 2010, Peter Wang wrote:

> The argument order one_member(Set, Elem) is more useful for solutions;
> perhaps it is time to add it to other set modules?

I suggest we make an annoucement with 11.01 and then change the other
modules after that.

> Also, is this too much of a feature to go on 10.04?

It can go on if it's absolutely essential.

The diff looks fine.

mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au

More information about the reviews mailing list