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

Julien Fischer juliensf at cs.mu.OZ.AU
Wed Jul 27 23:06:25 AEST 2005


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.

Julien.

Index: compiler/simplify.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/simplify.m,v
retrieving revision 1.143
diff -u -r1.143 simplify.m
--- compiler/simplify.m	22 Jul 2005 12:32:00 -0000	1.143
+++ compiler/simplify.m	27 Jul 2005 06:05:44 -0000
@@ -1088,7 +1088,7 @@
             KeepCommon = yes
         ;
             FinalReason = commit(_),
-            KeepCommon = yes
+            KeepCommon = no
         ;
             FinalReason = from_ground_term(_),
             KeepCommon = yes

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