[m-dev.] for review: extra modes for random.m

[Fergus Henderson]

On 28-Feb-2001, Ralph Becket <rbeck at microsoft.com> wrote:
> 
> library/random.m:
>         Added support for in/out random__supply arguments to
>         complement the existing mdi/muo modes.  This is useful
>         when a random__supply is a component of a non-(mostly-)
>         unique object.

I suggested this change a while back, but Tom Conway wasn't keen.
His argument was that the mdi/muo modes provided extra safety,
since they ensured that you didn't accidentally use the same
random number supply twice.

However, I'm still in favour of the change.  If you support it,
despite Tom's argument, then I think we outvote him.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------