[m-rev.] trivial diff: add a few comments to declarative_debugger.m

[Mark Brown]

Estimated hours taken: 0.1
Branches: main

browser/declarative_debugger.m:
	Add some useful comments.

Index: browser/declarative_debugger.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/declarative_debugger.m,v
retrieving revision 1.28
diff -u -r1.28 declarative_debugger.m
--- browser/declarative_debugger.m	22 Jul 2002 07:12:54 -0000	1.28
+++ browser/declarative_debugger.m	29 Aug 2002 16:22:33 -0000
@@ -578,6 +578,12 @@
 				%
 			missing_answer_children(Store, Prec, Ns0, Ns1)
 		;
+				%
+				% This handles the following cases:
+				% redo, fail, switch, first_disj, later_disj,
+				% then, and neg_fail.  Also handles cond when
+				% the status is anyhing other than failed.
+				%
 			Ns1 = Ns0
 		),
 		Next = step_left_in_contour(Store, Node),
@@ -632,6 +638,12 @@
 				%
 			missing_answer_children(Store, Prec, Ns0, Ns1)
 		;
+				%
+				% This handles the following cases:
+				% redo, switch, first_disj, later_disj and
+				% then.  Also handles cond when the status
+				% is anything other than failed.
+				%
 			Ns1 = Ns0
 		),
 		Next = step_in_stratum(Store, Node),
@@ -674,6 +686,13 @@
 				%
 			missing_answer_children(Store, Prec, Ns0, Ns1)
 		;
+				%
+				% This handles the following cases:
+				% redo, fail, switch, first_disj, later_disj,
+				% then and neg_fail.  Also handles neg and
+				% cond when the status is anything other than
+				% failed.
+				%
 			Ns1 = Ns0
 		),
 		Next = step_left_in_contour(Store, Node),
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------