[m-rev.] diff: fix bug in overloading resolution

Julien Fischer juliensf at cs.mu.OZ.AU
Mon Nov 14 15:24:01 AEDT 2005

On Mon, 14 Nov 2005, Mark Brown wrote:

> Hi,
> This fixes the bug recently reported by Pete Ross.  Note that the bug also
> occurs on the 0.12 release branch, and probably also in earlier releases.
> I'm not planning to fix the release branch, though, since:
> 	- The fix for the release branch would be significantly more
> 	  complex: there is no constraint map to refer to, so the fix
> 	  would involve recording in each type_assign which unifications
> 	  were actually function calls, passing this information through
> 	  to post_typecheck, and then using it to resolve the overloading.
> 	- In most cases a simple workaround is to module qualify any data
> 	  constructors that would otherwise be ambiguous.

Can you please mention that in the BUGS file on the 0.12 branch.

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