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

[Julien Fischer]

On Mon, 7 Jul 2008, Ralph Becket wrote:

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

Or possibly several bugs.  One of which is that we don't appear to
any sanity checks on inst definitions, e.g. insts like the following

 	bound(mk_pair(unique, ground))

should not be allowed.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------