[m-dev.] module system discussion

[Peter Ross]

Simon wrote:
> On 13-Dec-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> > I think the transparent_module name is misleading, and to use the
following
> > name would be better:
> >
> > :- namespace ns.
> > :- end_namespace ns.
>
> I have no objection to this. I'm not sure whether it would be worth
> adding an `:- import_namespace' declaration -- it would seem a bit
> strange to import a `namespace' using an `:- import_*module*' declaration.
> But that's a minor detail.
>
Actually on further consideration, a namespace declaration should be
equivalent to

:- import_module ns.
:- transparent_module ns.
:- end_transparent_module ns.

that way the parent module can use the items defined inside the namespace
without having to do anything.

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