[m-dev.] module system discussion

[Simon Taylor]

On 19-Nov-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> S2. `:- include'.
> 
> 	There's a new declaration `:- include <Modules>',
> 	where <Modules> is a list of fully-qualified module name.
> 	This may only occur in either the interface or implementation
> 	section.  The effect is that the entities declared in the
> 	interfaces of the specified <Modules>, or *included* (directly
> 	or indirectly) in those interfaces, are *included* in the
> 	corresponding section of the containing module,
> 	which means that they can be referred to as
> 	if they were members of that section of the containing module.

I would also like to see a variant of this, named
`:- obsolete_include', for which the compiler warns
about uses of the included items. That would be useful
for moving all the assorted stuff that has accumulated
in std_util.m into separate modules.

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