[m-rev.] for review: use typeclass constraints to help resolve overloading

[Fergus Henderson]

On 21-Jan-2002, David Jeffery <dgj at miscrit.be> wrote:
> > There really ought to be some change to the language reference manual
> > to document what you are trying to implement.
> 
> Does there really need to be a change to the reference manual?

Need is a strong word.
Does there *need* to be?  No.  *Should* there be?  Yes.

> I think this is really just a bug fix.

If that was the case, and the semantics were properly documented, then
you ought to be able to point me to the part of the reference manual
which the current implementation violates.

I think you will have difficulty ;-)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------