[m-dev.] Module qualification of typeclass methods

[Peter Ross]

Fergus wrote:
> On 29-Oct-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> > The disadvantages of this change are: it is not backwards compatible and
> > it no longer allows a typeclass method to easily become a normal
> > predicate, as any qualified uses of that name will have to be adjusted.
>
> 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).
>
Good point.

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