[m-dev.] trivial diff: update tests/term/associative.trans_opt_exp

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Oct 23 14:58:12 AEST 1999


Estimated hours taken: 0.1

tests/term/associative.trans_opt_exp:
	Update the expected output for this test cast, which has
	changed due to my recent change in the intermodule inlining
	heuristic.

Workspace: /home/mercury0/fjh/mercury
Index: tests/term/associative.trans_opt_exp
===================================================================
RCS file: /home/mercury1/repository/tests/term/associative.trans_opt_exp,v
retrieving revision 1.7
diff -u -d -r1.7 associative.trans_opt_exp
--- associative.trans_opt_exp	1999/10/14 03:40:10	1.7
+++ associative.trans_opt_exp	1999/10/23 04:56:44
@@ -1,2 +1,3 @@
 :- module associative.
 :- pragma termination_info(associative:normal_form((builtin:in), (builtin:out)), finite(0, [yes, no]), can_loop).
+:- pragma termination_info(associative:rewrite((builtin:in), (builtin:out)), finite(0, [yes, no]), cannot_loop).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list