[m-dev.] Uniqueness again

[Ralph Becket]

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"
assumption?

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

Good idea.

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