[m-rev.] diff: remove the stop flag in collect [round 2]
Erwan Jahier
Erwan.Jahier at irisa.fr
Thu Aug 30 01:00:20 AEST 2001
I have forgotten to change those files in my previous diff where
I removed the stop flag in filter.
--
Estimated hours taken: .1
branches: main.
extras/morphine/source/pred_cov.in:
extras/morphine/source/call_site_cov.in:
Remove the fourth argument of filter.
Index: source/call_site_cov.in
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/morphine/source/call_site_cov.in,v
retrieving revision 1.1
diff -u -d -u -r1.1 call_site_cov.in
--- source/call_site_cov.in 2001/08/29 12:17:20 1.1
+++ source/call_site_cov.in 2001/08/29 14:51:33
@@ -7,7 +7,7 @@
:- type accumulator_type == list(call_site_crit).
-filter(Event, CSL0, CSL, continue) :-
+filter(Event, CSL0, CSL) :-
solutions(update_call_site_list(port(Event), def_module(Event),
proc_name(Event), line_number(Event), CSL0), Sol),
( Sol = [CSL1|_] -> CSL = CSL1 ; CSL = CSL0 ).
Index: source/pred_cov.in
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/morphine/source/pred_cov.in,v
retrieving revision 1.1
diff -u -d -u -r1.1 pred_cov.in
--- source/pred_cov.in 2001/08/29 12:17:20 1.1
+++ source/pred_cov.in 2001/08/29 14:51:33
@@ -7,7 +7,7 @@
:- type accumulator_type == list(pred_crit).
-filter(Event, CSL0, CSL, continue) :-
+filter(Event, CSL0, CSL) :-
solutions(update_pred_list(port(Event), decl_module(Event),
proc_name(Event), CSL0), Sol),
( Sol = [CSL1|_] -> CSL = CSL1 ; CSL = CSL0 ).
--
R1.
--------------------------------------------------------------------------
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