[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