[m-dev.] Automatic inclusion of modules

[Peter Ross]

On Fri, Nov 16, 2001 at 01:57:01AM +1100, Fergus Henderson wrote:
> 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?
> 
To avoid doing lots of sub-module imports when using an interface
generated by the .NET intgen tool.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------