[m-dev.] io streams

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Dec 23 14:04:34 AEDT 1999


On 23-Dec-1999, Michael Day <mcda at cat.cs.mu.OZ.AU> wrote:
> 
> I module qualify everything purely because all the other library
> modules do.

One of the main reasons for that is that when using Prolog,
the module prefixes were not optional.

Now that we're not using Prolog, it might be nicer (i.e. more
concise and not significantly less clear) for each module to
only module-qualify the symbols from other modules.

Comments?

> I must admit, it gets annoying when specifying long type class
> constraints, and will get more annoying if everything ends up hoisted
> inside the std module.

When we put everything in the `std' module, we don't need to add `std'
prefixes to all the declarations in the standard library.  That would
be a significant increase in verbosity for very little increase in
clarity.  After all, the standard library's interface doesn't depend
on any other library, so if we were to add such prefixes then _every_ symbol
in the interface of the standard library would need a `std' prefix.

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



More information about the developers mailing list