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

[Ralph Becket]

> From: Fergus Henderson [mailto:fjh at cs.mu.OZ.AU]
> 
> 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.

Good, I've checked it in.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------