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

[Fergus Henderson]

On 31-Oct-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> 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.

That sounds like a bug to me.

The language reference manual ought to be precise enough that
I could say exactly which rule(s) in the reference manual
were violated...

> I am sure the fix is relatively easy for that.

Probably.  The fix for the language reference manual may be harder ;-)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  | "... it seems to me that 15 years of
The University of Melbourne         | email is plenty for one lifetime."
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- Prof. Donald E. Knuth
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------