[m-dev.] Module qualification of typeclass methods

[Peter Ross]

On Thu, Nov 15, 2001 at 09:45:57PM +1100, Fergus Henderson wrote:
> 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).
> 
Ahh, I see now.  Actually now that I think about it.  I did get the
error message ages ago, so I got used to just adding the include_module
declaration.

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