[m-dev.] Module qualification of typeclass methods

[Peter Ross]

Michael wrote:
>
> > > > 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.
>
The idea of different include_module is a good idea.  I intend to work on it
today.

Pete

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