[m-dev.] pedantic quibble...

[Fergus Henderson]

On 23-Dec-1999, Michael Day <mcda at cat.cs.mu.OZ.AU> wrote:
> 
> (Fergus' original system mentioned
> importing predicates and types on an individual basis, but is this still
> viable?)

It would certainly be possible to do so -- it would not be too hard to
implement.  However, it's not clear whether the extra complexity would
be worth the benefit.

But I do forsee some extensions or changes in this area.
Currently `:- use_module' is not very useful in practice,
because it forces you to put module qualifiers on operators
and in places where the extra verbosity is not helpful
(e.g. `map:map', `list:list', etc.).
I would like to either change the semantics of `:- use_module'
so that it imports a little more (in particular operators
and symbols with the same name as the module), or to add
additional declarations (e.g. `:- import_ops', `:- import_sym')
to let you import those additional names.

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