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

[Thomas Conway]

On Thu, Mar 01, 2001 at 01:42:53AM EST, Fergus Henderson wrote:
> 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.

Oi! No ganging up! ;-)

Of course the right fix is to fix the mode system,
however, in the rnd.m module which yields much better
random numbers, I gave up on this one, and just used in and out.

-- 
  Thomas Conway )O+
 <conway at cs.mu.oz.au>       499 User error! Replace user, and press any key.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------