[m-dev.] Uniqueness again

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Feb 7 16:59:10 AEDT 2003


On 07-Feb-2003, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> I think we should also go with the following:
...
> - change the meaning of "unique" from "the top-level functor is unique
>   and each of its arguments is also unique" to just "the top-level
>   functor is unique."

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 wouldn't mind introducing a new inst "top_unique", though.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- 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
--------------------------------------------------------------------------



More information about the developers mailing list