[mercury-users] io.set_globals and uniqueness

[Julien Fischer]

On Thu, 13 Oct 2005, Michael Day wrote:

>
> Hi,
>
> Why must the univ value passed to io.set_globals be unique? Are any bad
> things likely to happen if a non-unique value is passed after calling
> unsafe_promise_unique?
>

On a related note, recent rotds contain support for `:- mutable'
declarations that can act as a replacement for storing things in
the I/O state.

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------