[mercury-users] Exceptions and unique modes

[Ralph Becket]

>From Fergus Henderson on 15/02/2001 15:12:30
> 
> Well, if using one name to talk about a threaded unique object is what
> you want, I think you may perhaps be able to do it using mutvars
> (see library/store.m).
> 
> It would be nice if we were to provide something similar to that
> but which works on the io__state rather than a separate store type.
> We could improve do that by providing procedures io__new_mutvar,
> io__set_mutvar, and io__get_mutvar to parallel the versions in store.m.
> (Currently the only way to keep the store in the io__state is via
> io__set_globals/io__get_globals, which is a bit of a hack, and not
> maximally convenient.)
> 
> We could also use the new record syntax for mutvars.

That would be smashing.

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

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