[m-rev.] trivial diff: export main1/2 in tests/benchmarks/*.m

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main

tests/benchmarks/*.m:
	Move the declaration of main1/3 back into the interface section,
	so that the instructions on how to "test the performance of the
	benchmarks" in the Mmakefile still work.  These predicates need
	to be exported so that they can be used as entry points for
	benchmarking.

Workspace: /home/ceres/fjh/ws-ceres2/mercury
Index: tests/benchmarks/nrev.m
===================================================================
RCS file: /home/mercury1/repository/tests/benchmarks/nrev.m,v
retrieving revision 1.5
diff -u -d -r1.5 nrev.m
--- tests/benchmarks/nrev.m	6 Sep 2002 06:01:58 -0000	1.5
+++ tests/benchmarks/nrev.m	8 Oct 2003 07:48:42 -0000
@@ -13,14 +13,14 @@
 :- pred main(io__state, io__state).
 :- mode main(di, uo) is det.
 
+:- pred main1(list(int)).
+:- mode main1(out) is det.
+
 :- implementation.
 
 :- import_module list.
 
 main --> main3(_).
-
-:- pred main1(list(int)).
-:- mode main1(out) is det.
 
 main1(Out) :-	
 	data(Data),
Index: tests/benchmarks/primes.m
===================================================================
RCS file: /home/mercury1/repository/tests/benchmarks/primes.m,v
retrieving revision 1.5
diff -u -d -r1.5 primes.m
--- tests/benchmarks/primes.m	26 May 2003 09:00:40 -0000	1.5
+++ tests/benchmarks/primes.m	8 Oct 2003 07:49:33 -0000
@@ -7,14 +7,14 @@
 :- pred main(io__state, io__state).
 :- mode main(di, uo) is det.
 
+:- pred main1(list(int)).
+:- mode main1(out) is det.
+
 :- implementation.
 
 :- import_module int, list, prolog.
 
 main --> main3(_).
-
-:- pred main1(list(int)).
-:- mode main1(out) is det.
 
 main1(Out) :-	
 	data(Data),
Index: tests/benchmarks/qsort.m
===================================================================
RCS file: /home/mercury1/repository/tests/benchmarks/qsort.m,v
retrieving revision 1.6
diff -u -d -r1.6 qsort.m
--- tests/benchmarks/qsort.m	6 Sep 2002 06:01:58 -0000	1.6
+++ tests/benchmarks/qsort.m	8 Oct 2003 07:49:40 -0000
@@ -13,14 +13,14 @@
 :- pred main(io__state, io__state).
 :- mode main(di, uo) is det.
 
+:- pred main1(list(int)).
+:- mode main1(out) is det.
+
 :- implementation.
 
 :- import_module list, int.
 
 main --> main3(_).
-
-:- pred main1(list(int)).
-:- mode main1(out) is det.
 
 main1(Out) :-
 	data(Data),
Index: tests/benchmarks/query.m
===================================================================
RCS file: /home/mercury1/repository/tests/benchmarks/query.m,v
retrieving revision 1.6
diff -u -d -r1.6 query.m
--- tests/benchmarks/query.m	26 May 2003 09:00:40 -0000	1.6
+++ tests/benchmarks/query.m	8 Oct 2003 07:49:57 -0000
@@ -14,6 +14,9 @@
 :- pred main(io__state, io__state).
 :- mode main(di, uo) is cc_multi.
 
+:- pred main1(quad).
+:- mode main1(out) is nondet.
+
 :- implementation.
 
 :- import_module int, prolog.
@@ -33,9 +36,6 @@
 	;
 		io__write_string("No solutions\n")
 	).
-
-:- pred main1(quad).
-:- mode main1(out) is nondet.
 
 main1(Out) :-	
 	query(Out).
Index: tests/benchmarks/tak.m
===================================================================
RCS file: /home/mercury1/repository/tests/benchmarks/tak.m,v
retrieving revision 1.4
diff -u -d -r1.4 tak.m
--- tests/benchmarks/tak.m	26 May 2003 09:00:40 -0000	1.4
+++ tests/benchmarks/tak.m	8 Oct 2003 07:50:02 -0000
@@ -7,6 +7,9 @@
 :- pred main(io__state, io__state).
 :- mode main(di, uo) is det.
 
+:- pred main1(int).
+:- mode main1(out) is det.
+
 :- implementation.
 
 :- import_module int, prolog.
@@ -15,9 +18,6 @@
 	{ main1(Out) },
 	io__write_int(Out),
 	io__write_string("\n").
-
-:- pred main1(int).
-:- mode main1(out) is det.
 
 main1(Out) :-
 	tak(18, 12, 6, Out).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------