[mercury-users] Status of unique modes in Mercury?

[Ralph Becket]

Edsko de Vries, Friday,  4 July 2008:
> Hi,
> 
> > affected by the call) and nested uniqueness.  The compiler can, however,
> > handle di/uo arguments fine, which is why IO is safe.
> 
> In what sense is it safe, though? Mercury allows me to duplicate the
> world state, which is the one thing I would have thought should not be
> possible:

I would say you have found a rather serious bug in mmc!
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------