[m-rev.] diff: hlds_out.m

Zoltan Somogyi zs at cs.mu.OZ.AU
Fri Jun 13 20:35:57 AEST 2003


compiler/hlds_out.m:
	Print the goal annotations that specify which variables need to be
	saved on the stack on one line, to allow people to grep for them.

Zoltan.

cvs diff: Diffing .
Index: hlds_out.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/hlds_out.m,v
retrieving revision 1.310
diff -u -b -r1.310 hlds_out.m
--- hlds_out.m	27 May 2003 05:57:09 -0000	1.310
+++ hlds_out.m	13 Jun 2003 10:28:24 -0000
@@ -1913,39 +1913,30 @@
 		{ set__to_sorted_list(CallResumeSet, CallResumeList) },
 		{ set__to_sorted_list(CallNondetSet, CallNondetList) },
 		hlds_out__write_indent(Indent),
-		io__write_string("% need across call forward vars:"),
+		io__write_string("% need across call forward vars: "),
 		( { CallForwardList = [] } ->
-			io__write_string(" none\n")
+			io__write_string("none\n")
 		;
-			io__write_string("\n"),
-			hlds_out__write_indent(Indent),
-			io__write_string("% "),
 			hlds_out__write_vars(CallForwardList, VarSet,
 				AppendVarnums),
 			io__write_string("\n")
 		),
 
 		hlds_out__write_indent(Indent),
-		io__write_string("% need across call resume vars:"),
+		io__write_string("% need across call resume vars: "),
 		( { CallResumeList = [] } ->
-			io__write_string(" none\n")
+			io__write_string("none\n")
 		;
-			io__write_string("\n"),
-			hlds_out__write_indent(Indent),
-			io__write_string("% "),
 			hlds_out__write_vars(CallResumeList, VarSet,
 				AppendVarnums),
 			io__write_string("\n")
 		),
 
 		hlds_out__write_indent(Indent),
-		io__write_string("% need across call nondet vars:"),
+		io__write_string("% need across call nondet vars: "),
 		( { CallNondetList = [] } ->
-			io__write_string(" none\n")
+			io__write_string("none\n")
 		;
-			io__write_string("\n"),
-			hlds_out__write_indent(Indent),
-			io__write_string("% "),
 			hlds_out__write_vars(CallNondetList, VarSet,
 				AppendVarnums),
 			io__write_string("\n")
@@ -1973,26 +1964,20 @@
 			io__write_string("% resume point has no stack label\n")
 		),
 		hlds_out__write_indent(Indent),
-		io__write_string("% need in resume resume vars:"),
+		io__write_string("% need in resume resume vars: "),
 		( { ResumeResumeList = [] } ->
-			io__write_string(" none\n")
+			io__write_string("none\n")
 		;
-			io__write_string("\n"),
-			hlds_out__write_indent(Indent),
-			io__write_string("% "),
 			hlds_out__write_vars(ResumeResumeList, VarSet,
 				AppendVarnums),
 			io__write_string("\n")
 		),
 
 		hlds_out__write_indent(Indent),
-		io__write_string("% need in resume nondet vars:"),
+		io__write_string("% need in resume nondet vars: "),
 		( { ResumeNondetList = [] } ->
-			io__write_string(" none\n")
+			io__write_string("none\n")
 		;
-			io__write_string("\n"),
-			hlds_out__write_indent(Indent),
-			io__write_string("% "),
 			hlds_out__write_vars(ResumeNondetList, VarSet,
 				AppendVarnums),
 			io__write_string("\n")
@@ -2009,9 +1994,7 @@
 		{ NeedInParConj = need_in_par_conj(ParConjSet) },
 		{ set__to_sorted_list(ParConjSet, ParConjList) },
 		hlds_out__write_indent(Indent),
-		io__write_string("% need in par_conj vars:\n"),
-		hlds_out__write_indent(Indent),
-		io__write_string("% "),
+		io__write_string("% need in par_conj vars: "),
 		hlds_out__write_vars(ParConjList, VarSet, AppendVarnums),
 		io__write_string("\n")
 	;
cvs diff: Diffing notes
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list