[m-rev.] diff: fix tests/valid/constraint_prop_bug

[Julien Fischer]

On Wed, 27 Jul 2005, Julien Fischer wrote:

>
> This is for the main branch only; this problem doesn't show up on the
> release branch because it was only introduced when scope goals where
> introduced.
>
> Estimated hours taken: 8
> Branches: main
>
> compiler/simplify.m:
> 	Fix a typo in simplify.  We should *not* replace unifications
> 	outside a commit with references to variables created inside the
> 	commit.  This is the bug that was causing
> 	tests/valid/constraint_prop_bug to fail and was also affecting
> 	the compilation of compiler/exception_analysis and
> 	compiler/recompilation.version.
>
I'll remove the workarounds in compiler/Mercury.options after this
has boostrapped on all the machines.

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