[mercury-users] Re: Question regarding determinism

[Fergus Henderson]

On 19-Aug-1998, Thomas Charles CONWAY <conway at cs.mu.OZ.AU> wrote:
> Waugh, Sam, you write:
> > [I assume that di and uo still only work for io__state.]
> 
> Di and uo mean "destructive input" and "unique output" which are
> "unique -> dead" and "free -> unique" respectively. These modes
> may be used objects of any type

The current implementation still has some limitations regarding
putting unique objects inside other data structures.
So although it works for any type, it is still not nearly as
generally applicable as it could be.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.