[m-dev.] Module qualification of typeclass methods

[Peter Ross]

Simon wrote:
> How about a different type of `include_module' declaration for which
> the child module is always imported when the parent is imported?
>
This seems to me the correct tradeoff, I like the idea.

However back to the original question.  Does anyone have any fundamental
difficulties with typeclasses introducing a new namespace?  I as the
programmer know when writing the code which typeclass method I mean and
there is a mechanism by which to distinguish two methods with the same name,
hence I should be able to do it.

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