[m-dev.] Uniqueness again

Ralph Becket rafe at cs.mu.OZ.AU
Fri Feb 7 17:00:58 AEDT 2003

Fergus Henderson, Friday,  7 February 2003:
> I don't think that would be a good idea.  There's already a fair amount
> of code which relies on the existing meaning of "unique", and locating
> and modifying that code would be an unnecessary burden.

I know you've answered this one before, but I'm afraid I've forgotten
the answer.  Which code depends upon the "uniqueness, all the way down"

> I wouldn't mind introducing a new inst "top_unique", though.

Good idea.

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

More information about the developers mailing list