[mercury-users] io.set_globals and uniqueness

Julien Fischer juliensf at cs.mu.OZ.AU
Thu Oct 13 14:18:04 AEST 2005

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.

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

More information about the users mailing list