[m-rev.] for review: fix purity in tabling and optimization passes

[Simon Taylor]

On Tue, Apr 03, 2001 at 10:38:32AM +1000, Fergus Henderson wrote:
> On 24-Mar-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > Estimated hours taken: 15
> > Branches: main
> > 
> > Fix the handling of purity in the optimization and tabling passes.
> > Without this change tests/tabling/unused_args.m fails with
> > inter-module optimization.
> 
> That test is still failing on the release branch.
> 
> Since the fix is complicated, probably it is not worth porting the fix
> to the release branch.  But it would be nice if you could disable
> that test case on the release branch.


Estimated hours taken: 0.1
Branches: release

tests/tabling/Mmakefile:
	Disable unused_args.m. The bugs which caused it to fail
	have been fixed on the main branch, but the fix is too
	complicated to port to the release branch so close to
	the release. The bugs should affect very few users.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/Mmakefile,v
retrieving revision 1.15
retrieving revision 1.15.2.1
diff -u -u -r1.15 -r1.15.2.1
--- Mmakefile	2001/01/08 02:37:17	1.15
+++ Mmakefile	2001/04/03 04:33:16	1.15.2.1
@@ -17,8 +17,12 @@
 	fib_float \
 	fib_list \
 	fib_string \
-	loopcheck \
-	unused_args
+	loopcheck
+
+# XXX This test case fails due to bugs in the handling of impurity.
+# The bugs have been fixed on the main branch, but the fix is too
+# complicated to port to the release branch so close to the release.
+#	unused_args
 
 NONDET_PROGS = \
 	coup \
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------