[m-dev.] Module qualification of typeclass methods

[Peter Ross]

Fergus wrote:
> Another possibility would be to say that the fully qualified name for
> the method bar is `mod__foo__bar', but that the method can *also* be
> referred to by the name `mod__bar' whenever this is unambiguous
> (using the normal rules for resolving ambiguities).
>
In fact, you will need to do this change (or something similar) to bootstrap
the compiler.

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