[m-rev.] for review: messages for highly ambiguous overloading

Ralph Becket rafe at cs.mu.OZ.AU
Wed Apr 19 17:55:23 AEST 2006


Zoltan Somogyi, Wednesday, 19 April 2006:
> For review by anyone.
> 
> Zoltan.
> 
> When the typechecker finds highly ambiguous overloading, print what symbols
> were overloaded, and where they occurred. Without this information, it is
> very hard to fix the error if the predicate body is at all large.

That's going to make a difference.  And the diff is fine.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list