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

Ralph Becket rafe at csse.unimelb.edu.au
Mon Jul 7 11:00:30 AEST 2008

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

More information about the users mailing list