[m-dev.] Uniqueness again

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Feb 8 01:59:58 AEDT 2003

On 07-Feb-2003, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> 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?

Well, for example, store__new_ref.

But the point is just that figuring out which code depends on this
requires a quite deep analysis of the code.

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