[m-dev.] Module qualification of typeclass methods

[Michael Day]

> > > Would it be better to add an `import_package' declaration, which
> > > is like `import_module', but also imports all sub-modules of the
> > > imported modules.
...
> How about a different type of `include_module' declaration for which
> the child module is always imported when the parent is imported?

How about adding both of these ideas? They each tackle the problem from
different angles (creator of the module vs user of the module) and would
both be useful in different situations.

Michael

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