[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

Estimated hours taken: 8
Branches: main

	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


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