[m-dev.] [reuse] diff: change definition of reuse_goal_info

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.1

sr_data.m:
    Record at each deconstruction unification the condition of reuse for
    that cell, if it can be reused.


Index: sr_data.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/Attic/sr_data.m,v
retrieving revision 1.1.2.2
diff -u -r1.1.2.2 sr_data.m
--- sr_data.m	2000/10/09 11:42:16	1.1.2.2
+++ sr_data.m	2000/10/09 18:27:58
@@ -31,10 +31,9 @@
 
 :- type choice_info
 	--->	deconstruct(
-				% The cells which could possibly use the
-				% cell from this deconstruction provided
-				% that the cell dies
-			maybe(set(prog_var))
+				% The condition under which this cell
+				% can be reused, if at all.
+			maybe(reuse_condition)
 		)
 	;	construct(
 				% The cells which could be reused by the

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------