[m-rev.] diff: fix failing term tests in debug grades

[Julien Fischer]

Estimated hours taken: 0.5
Branches: main

Fix the failure of some termination analysis test cases in debug grades.

tests/term/append.trans_opt_exp2:
tests/term/sum.trans_opt_exp2:
 	New expected outputs for these test cases that correspond
 	to the output in debug grades.  (In debug grades we end up
 	with redundant constraints in these grades.  In principle
 	these could be removed by more complete redundancy elimination
 	but in practice it's not worth it.  The expected outputs changed
 	because of changes of changes to the HLDS, e.g. the improvement
 	to headvar names.)

Julien.

Index: append.trans_opt_exp2
===================================================================
RCS file: append.trans_opt_exp2
diff -N append.trans_opt_exp2
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ append.trans_opt_exp2	31 May 2007 07:02:28 -0000
@@ -0,0 +1,3 @@
+:- module append.
+:- pragma termination_info(append.app((builtin.out), (builtin.out), (builtin.in)), finite(0, [no, no, no, yes]), cannot_loop).
+:- pragma termination2_info(append.app((builtin.out), (builtin.out), (builtin.in)), constraints([le([term(1, r(1, 1)), term(3, r(-1, 1))], r(0, 1)), eq([term(1, r(1, 1)), term(2, r(1, 1)), term(3, r(-1, 1))], r(0, 1))]), not_set, cannot_loop).
Index: sum.trans_opt_exp2
===================================================================
RCS file: sum.trans_opt_exp2
diff -N sum.trans_opt_exp2
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ sum.trans_opt_exp2	31 May 2007 07:02:28 -0000
@@ -0,0 +1,3 @@
+:- module sum.
+:- pragma termination_info(sum.sum((builtin.out), (builtin.out), (builtin.in)), finite(0, [no, no, yes]), cannot_loop).
+:- pragma termination2_info(sum.sum((builtin.out), (builtin.out), (builtin.in)), constraints([le([term(1, r(1, 1)), term(2, r(-1, 1))], r(0, 1)), eq([term(0, r(1, 1)), term(1, r(1, 1)), term(2, r(-1, 1))], r(0, 1))]), not_set, cannot_loop).

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------