[m-dev.] Automatic inclusion of modules

[Fergus Henderson]

On 15-Nov-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> Does anyone have any objections to adding the following
> 
> :- automatic_include module_1, ..., module_n.
> 
> Each module mentioned by an automatic_include in the interface section
> of a module will also be imported when the module which declares the
> automatic_include is imported.  The automatic_include will be treated as
> it has been imported by the same declaration the parent module was
> imported with, namely a `:- include_module' or a `:- use_module'.  It is
> an error to declare an automatic_include in the implementation section
> of a module.

Remind me again why we need this feature?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- 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
--------------------------------------------------------------------------