[mercury-users] random.m: little warning

[Fergus Henderson]

On 16-Oct-1998, Thomas Charles CONWAY <conway at cs.mu.OZ.AU> wrote:
> Richard A. O'Keefe, you write:
> > It would actually be useful to have several pseudo-random generators in
> > the Mercury library; switching from one to another _may_ reveal a flaw.
> 
> This is where ML's module system would be really good, though we can
> simulate the behaviour with type classes. It'd be good to define a
> standard interface and support multiple implementations.

The language feature that I'd like to have along those lines
is module aliases (i.e. `:- module foo == bar.', with the semantics
that any reference to module `foo' is then treated as a reference to
module `bar'.).

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