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

[Peter Ross]

Ralph wrote:
> 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!
>
I don't think it is currently, because the module qualification code barfs
on the fact that there is no module that has been imported with the name tc.
I am sure the fix is relatively easy for that.  However the term mod__tc__f
is a perfectly good higher order term.

BTW I am not sure I have answered your question.

Pete

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