[m-rev.] for review: transparent sub-module documentation

[Peter Ross]

Simon wrote:

> On 29-Nov-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> > If you import a module using an import_module than I think you
should
> > use the import_module semantics, or some variant thereof.  I would
be
> > willing to enforce that the only qualifiers that you can drop from a
> > name are those which are explicitly mentioned by the import_module
> > declaration.
> >
> > For example with
> >
> > :- import_module mscorlib__System.
> >
> > the following qualifications would be allowed
> >
> > mscorlib__System__Reflection__Assembly__Load("assembly")
> > System__Reflection__Assembly__Load("assembly")
> > Reflection__Assembly__Load("assembly")
> >
> > however
> >
> > Assembly__Load("assembly)
> >
> > would only be allowed if there was an
> >
> > :- import_module mscorlib__System__Reflection.
> >
> > Does that sound reasonable?
>
> That's how `:- use_module' and `:- import_module' work now.
> A module qualifier can only be dropped if the module was imported
> with an `:- import_module' declaration.
>
Thanks, I didn't realise that.


--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------