[m-rev.] for review; typeclass decl introduces namespace

[Ralph Becket]

Peter Ross, Tuesday, 30 October 2001:
> Estimated hours taken: 4
> Branches: main
> 
> Typeclass declarations now introduce a new namespace.  For example the
> method, f, in typeclass, tc, in module, mod, has the fully qualified
> name mod__tc__f instead of mod__f.  This allows typeclasses defined
> at the same scope to have methods with the same name.

Just reassure me that tc__f is still a perfectly good higher order term!

- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------