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

[Julien Fischer]

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.

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------