[m-rev.] diff: fix polymorphism bug

[Julien Fischer]

On Fri, 9 Sep 2005, Mark Brown wrote:

> I came across this bug while making the change of type (type).  I'll commit
> the fix to the main branch after it passes bootcheck.  The corresponding fix
> to the release branch won't make it into the 0.12.0 release because the
> repository has already been tagged, but this probably isn't a major problem
> since the bug has probably been around for the last seven years without any
> complaints.  It will have to go in the 0.12.1 release -- I'll commit the
> change to the release branch some time next week, after Julien has finished
> fixing the configure script and retagging the repository.
>
You can go ahead and commit this on the 0.12 branch now - I've finished
mucking about with it ;-)

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
--------------------------------------------------------------------------