[m-dev.] Module qualification of typeclass methods

[Fergus Henderson]

On 14-Nov-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> Could someone please comment on what the following sentence means in the
> Reference manual.
> 
>   If an `:- include_module' declaration occurs in the interface section of
>   a module, then only the declarations (interfaces) of the sub-modules are
>   included in the parent module's interface; the definitions
>   (implementations) of the sub-modules are considered to be implicitly
>   part of the parent module's implementation. 
> 
> I think it means that any definitions of the sub-module are visible when
> [...]

Part of the reason for the confusion here was that you had misinterpred
"definitions *of* the sub-modules" as if it were "definitions *in*
the sub-modules".

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