[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