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

[Simon Taylor]

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.

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