[m-dev.] trivial diff: fix bug in term dependency code

Mark Anthony BROWN dougl at cs.mu.OZ.AU
Wed Jan 24 16:11:28 AEDT 2001


Estimated hours taken: 5

Fix a bug in term dependencies in the declarative debugger.  The code
is not currently used, but is required for a change that I am working
on at the moment.  This will be committed on the main branch only.

browser/declarative_debugger.m:
	Make sure the list of atomic goal representations is built in
	mode-correct order.

Index: browser/declarative_debugger.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/declarative_debugger.m,v
retrieving revision 1.19
diff -u -r1.19 declarative_debugger.m
--- browser/declarative_debugger.m	2001/01/16 15:44:17	1.19
+++ browser/declarative_debugger.m	2001/01/24 04:58:03
@@ -916,8 +916,8 @@
 	->
 		{ MaybeArgs = yes(Args) }
 	;
-		[ unify_info(Goal) ],
-		process_non_event_goals(Cont, MaybeArgs)
+		process_non_event_goals(Cont, MaybeArgs),
+		[ unify_info(Goal) ]
 	).
 
 	% Scan through the information derived from the contour, and
--------------------------------------------------------------------------
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