[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