[m-dev.] Module qualification of typeclass methods

[Fergus Henderson]

On 15-Nov-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> 
> See the test case include_parent.m in my change.  include_parent__nested is
> an implementation module but I call it from include_module.

It's an interface module, since there's a `:- include_module'
declaration for it in the interface section of `include_parent'.

The error that should be diagnosed here is just the other problem
that you mentioned: having two declarations for the same sub-module
(one as `:- include_module', the other as a nested sub-module).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------