[m-rev.] diff: add require_feature_set pragmas to tabling tests

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Apr 1 18:30:17 AEDT 2010
Next message: [m-rev.] For review: New predicates in assoc_list
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Branches: main, 10.04

Make doubly sure that the tabling tests aren't run in grades that don't
support tabling.

(The Makefiles in tests directory should prevent this, but in at least one
grade on neptune this isn't currently happening and it's rendering that
machine unusable - I'll fix the Makefile issue separately.)

tests/tabling/*.m:
 	Add require_feature_set pragmas to all the tabling tests to ensure
 	they aren't accidently run in grades that don't support tabling.

Julien.

Index: boyer.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/boyer.m,v
retrieving revision 1.3
diff -u -r1.3 boyer.m
--- boyer.m	31 May 2004 04:13:23 -0000	1.3
+++ boyer.m	1 Apr 2010 07:09:38 -0000
@@ -22,6 +22,8 @@

  :- import_module int, list.

+:- pragma require_feature_set([memo]).
+
  main --> boyer.

  :- pred boyer(io::di, io::uo) is det .
Index: combine.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/combine.m,v
retrieving revision 1.4
diff -u -r1.4 combine.m
--- combine.m	6 Apr 2006 04:50:17 -0000	1.4
+++ combine.m	1 Apr 2010 07:09:41 -0000
@@ -10,6 +10,8 @@

  :- import_module int, solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(a, Solns),
  	io__write(Solns, !IO),
Index: completed_consumer_in_solutions.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/completed_consumer_in_solutions.m,v
retrieving revision 1.3
diff -u -r1.3 completed_consumer_in_solutions.m
--- completed_consumer_in_solutions.m	6 Apr 2006 04:50:17 -0000	1.3
+++ completed_consumer_in_solutions.m	1 Apr 2010 07:09:46 -0000
@@ -15,6 +15,8 @@
  :- import_module int, list.
  :- import_module solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	q(Solns1, Solns2),
  	io__write(Solns1, !IO),
Index: consumer_in_commit.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/consumer_in_commit.m,v
retrieving revision 1.4
diff -u -r1.4 consumer_in_commit.m
--- consumer_in_commit.m	6 Apr 2006 04:50:17 -0000	1.4
+++ consumer_in_commit.m	1 Apr 2010 07:09:51 -0000
@@ -13,6 +13,8 @@
  :- import_module int, list.
  :- import_module solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, SolnsP),
  	io__write(SolnsP, !IO),
Index: consumer_in_solutions.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/consumer_in_solutions.m,v
retrieving revision 1.3
diff -u -r1.3 consumer_in_solutions.m
--- consumer_in_solutions.m	30 Mar 2006 00:42:01 -0000	1.3
+++ consumer_in_solutions.m	1 Apr 2010 07:09:54 -0000
@@ -13,6 +13,8 @@
  :- import_module int, list.
  :- import_module pair, solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(q, Solns),
  	io__write(Solns, !IO),
Index: coup.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/coup.m,v
retrieving revision 1.4
diff -u -r1.4 coup.m
--- coup.m	6 Apr 2006 04:50:17 -0000	1.4
+++ coup.m	1 Apr 2010 07:10:16 -0000
@@ -15,6 +15,8 @@
  :- import_module int, list.
  :- import_module solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, Solns),
  	io__write(Solns, !IO),
Index: coup2.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/coup2.m,v
retrieving revision 1.4
diff -u -r1.4 coup2.m
--- coup2.m	6 Apr 2006 04:50:17 -0000	1.4
+++ coup2.m	1 Apr 2010 07:09:59 -0000
@@ -15,6 +15,8 @@

  :- import_module solutions, int, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, SolnsP),
  	io__write_string("P = ", !IO),
Index: coup3.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/coup3.m,v
retrieving revision 1.4
diff -u -r1.4 coup3.m
--- coup3.m	6 Apr 2006 04:50:17 -0000	1.4
+++ coup3.m	1 Apr 2010 07:10:02 -0000
@@ -13,6 +13,8 @@

  :- import_module solutions, int, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, SolnsP),
  	io__write_string("P = ", !IO),
Index: coup4.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/coup4.m,v
retrieving revision 1.3
diff -u -r1.3 coup4.m
--- coup4.m	6 Apr 2006 04:50:17 -0000	1.3
+++ coup4.m	1 Apr 2010 07:10:06 -0000
@@ -15,6 +15,8 @@

  :- import_module solutions, int, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, SolnsP),
  	io__write_string("P = ", !IO),
Index: coup_det_frame.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/coup_det_frame.m,v
retrieving revision 1.3
diff -u -r1.3 coup_det_frame.m
--- coup_det_frame.m	6 Apr 2006 04:50:17 -0000	1.3
+++ coup_det_frame.m	1 Apr 2010 07:10:10 -0000
@@ -21,6 +21,8 @@
  :- import_module int, list.
  :- import_module solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, Solns),
  	io__write(Solns, !IO),
Index: coup_no_commit.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/coup_no_commit.m,v
retrieving revision 1.4
diff -u -r1.4 coup_no_commit.m
--- coup_no_commit.m	6 Apr 2006 04:50:18 -0000	1.4
+++ coup_no_commit.m	1 Apr 2010 07:10:21 -0000
@@ -13,6 +13,8 @@
  :- import_module int, list.
  :- import_module solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, Solns),
  	io__write(Solns, !IO),
Index: coup_non_tabled_frame.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/coup_non_tabled_frame.m,v
retrieving revision 1.3
diff -u -r1.3 coup_non_tabled_frame.m
--- coup_non_tabled_frame.m	6 Apr 2006 04:50:18 -0000	1.3
+++ coup_non_tabled_frame.m	1 Apr 2010 07:10:25 -0000
@@ -15,6 +15,8 @@
  :- import_module int, list.
  :- import_module solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, Solns),
  	io__write(Solns, !IO),
Index: expand.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/expand.m,v
retrieving revision 1.5
diff -u -r1.5 expand.m
--- expand.m	29 Mar 2006 08:08:08 -0000	1.5
+++ expand.m	1 Apr 2010 07:10:36 -0000
@@ -12,6 +12,8 @@

  :- import_module bool, int, list, assoc_list, pair, random, require.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	random__init(0, RS0),
  	random__permutation(range(0, 1023), Perm, RS0, RS1),
Index: expand_bitmap.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/expand_bitmap.m,v
retrieving revision 1.1
diff -u -r1.1 expand_bitmap.m
--- expand_bitmap.m	13 Feb 2007 01:59:04 -0000	1.1
+++ expand_bitmap.m	1 Apr 2010 07:10:29 -0000
@@ -13,6 +13,8 @@

  :- import_module bitmap, bool, int, list, std_util, random, require.

+:- pragma require_feature_set([memo]).
+
  :- type record(T1, T2)	--->	record(T1, T1, T2).

  main(!IO) :-
Index: expand_float.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/expand_float.m,v
retrieving revision 1.5
diff -u -r1.5 expand_float.m
--- expand_float.m	29 Mar 2006 08:08:08 -0000	1.5
+++ expand_float.m	1 Apr 2010 07:10:33 -0000
@@ -12,6 +12,8 @@

  :- import_module bool, int, float, list, assoc_list, pair, random, require.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	random__init(0, RS0),
  	random__permutation(range(0, 1023), Perm, RS0, RS1),
Index: expand_poly.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/expand_poly.m,v
retrieving revision 1.4
diff -u -r1.4 expand_poly.m
--- expand_poly.m	31 May 2004 04:13:25 -0000	1.4
+++ expand_poly.m	1 Apr 2010 07:10:40 -0000
@@ -14,6 +14,8 @@

  :- import_module bool, int, list, std_util, random, require.

+:- pragma require_feature_set([memo]).
+
  :- type record(T1, T2)	--->	record(T1, T1, T2).

  main(!IO) :-
Index: expand_tuple.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/expand_tuple.m,v
retrieving revision 1.3
diff -u -r1.3 expand_tuple.m
--- expand_tuple.m	31 May 2004 04:13:25 -0000	1.3
+++ expand_tuple.m	1 Apr 2010 07:10:49 -0000
@@ -17,6 +17,8 @@

  :- import_module bool, int, list, std_util, random, require.

+:- pragma require_feature_set([memo]).
+
  :- type record(T1, T2)	--->	record(T1, T1, T2).

  main(!IO) :-
Index: expand_tuple2.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/expand_tuple2.m,v
retrieving revision 1.1
diff -u -r1.1 expand_tuple2.m
--- expand_tuple2.m	15 Aug 2007 01:35:03 -0000	1.1
+++ expand_tuple2.m	1 Apr 2010 07:10:45 -0000
@@ -23,6 +23,8 @@
  :- import_module std_util.
  :- import_module string.

+:- pragma require_feature_set([memo]).
+
  :- type record(T1, T2)  --->  record(T1, T2, T1, T2).

  main(!IO) :-
Index: fast_loose.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/fast_loose.m,v
retrieving revision 1.2
diff -u -r1.2 fast_loose.m
--- fast_loose.m	8 Jun 2006 08:20:14 -0000	1.2
+++ fast_loose.m	1 Apr 2010 07:10:54 -0000
@@ -13,6 +13,8 @@
  :- import_module list.
  :- import_module require.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	perform_trials(80, !IO).

Index: fib.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/fib.m,v
retrieving revision 1.6
diff -u -r1.6 fib.m
--- fib.m	31 Dec 2007 10:04:04 -0000	1.6
+++ fib.m	1 Apr 2010 07:11:06 -0000
@@ -12,6 +12,8 @@

  :- import_module benchmarking, require, int.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
      perform_trials(20, !IO).

Index: fib_float.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/fib_float.m,v
retrieving revision 1.3
diff -u -r1.3 fib_float.m
--- fib_float.m	31 May 2004 04:13:26 -0000	1.3
+++ fib_float.m	1 Apr 2010 07:10:58 -0000
@@ -10,6 +10,8 @@

  :- import_module benchmarking, require, int, float.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	perform_trials(20.0, !IO).

Index: fib_list.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/fib_list.m,v
retrieving revision 1.2
diff -u -r1.2 fib_list.m
--- fib_list.m	31 May 2004 04:13:26 -0000	1.2
+++ fib_list.m	1 Apr 2010 07:11:02 -0000
@@ -11,6 +11,8 @@
  :- import_module benchmarking, require, std_util.
  :- import_module int, list, assoc_list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	perform_trials([1, 4], !IO).

Index: fib_stats.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/fib_stats.m,v
retrieving revision 1.1
diff -u -r1.1 fib_stats.m
--- fib_stats.m	31 Dec 2007 10:04:05 -0000	1.1
+++ fib_stats.m	1 Apr 2010 07:11:10 -0000
@@ -15,6 +15,8 @@
  :- import_module string.
  :- import_module table_statistics.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
      test(1, 10, !IO),
      test(11, 20, !IO).
Index: fib_string.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/fib_string.m,v
retrieving revision 1.4
diff -u -r1.4 fib_string.m
--- fib_string.m	29 Mar 2006 08:08:08 -0000	1.4
+++ fib_string.m	1 Apr 2010 07:11:18 -0000
@@ -11,6 +11,8 @@
  :- import_module benchmarking, require, pair.
  :- import_module int, string, list, assoc_list, solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	perform_trials("oneone", !IO).

Index: generator_in_commit.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/generator_in_commit.m,v
retrieving revision 1.4
diff -u -r1.4 generator_in_commit.m
--- generator_in_commit.m	6 Apr 2006 04:50:18 -0000	1.4
+++ generator_in_commit.m	1 Apr 2010 07:11:24 -0000
@@ -15,6 +15,8 @@
  :- import_module int, list.
  :- import_module solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, Solns),
  	io__write(Solns, !IO),
Index: loopcheck.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/loopcheck.m,v
retrieving revision 1.2
diff -u -r1.2 loopcheck.m
--- loopcheck.m	31 May 2004 04:13:26 -0000	1.2
+++ loopcheck.m	1 Apr 2010 07:11:27 -0000
@@ -10,6 +10,8 @@

  :- implementation.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	loop(10),
  	io__write_string("Hello, world\n", !IO).
Index: loopcheck_no_loop.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/loopcheck_no_loop.m,v
retrieving revision 1.2
diff -u -r1.2 loopcheck_no_loop.m
--- loopcheck_no_loop.m	31 May 2004 04:13:27 -0000	1.2
+++ loopcheck_no_loop.m	1 Apr 2010 07:11:31 -0000
@@ -8,6 +8,8 @@

  :- implementation.

+:- pragma require_feature_set([memo]).
+
  :- import_module int.

  main(!IO) :-
Index: loopcheck_nondet.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/loopcheck_nondet.m,v
retrieving revision 1.2
diff -u -r1.2 loopcheck_nondet.m
--- loopcheck_nondet.m	4 Apr 2006 02:39:23 -0000	1.2
+++ loopcheck_nondet.m	1 Apr 2010 07:11:35 -0000
@@ -9,6 +9,8 @@

  :- import_module int, solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(loop(2), Y),
  	io__write(Y, !IO),
Index: loopcheck_nondet_no_loop.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/loopcheck_nondet_no_loop.m,v
retrieving revision 1.2
diff -u -r1.2 loopcheck_nondet_no_loop.m
--- loopcheck_nondet_no_loop.m	4 Apr 2006 02:39:23 -0000	1.2
+++ loopcheck_nondet_no_loop.m	1 Apr 2010 07:11:38 -0000
@@ -11,6 +11,8 @@

  :- import_module int, solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(non(10), N),
  	io__write(N, !IO),
Index: mday.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/mday.m,v
retrieving revision 1.3
diff -u -r1.3 mday.m
--- mday.m	31 May 2004 04:13:27 -0000	1.3
+++ mday.m	1 Apr 2010 07:11:41 -0000
@@ -8,6 +8,8 @@

  :- implementation.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	( x(_) ->
  		write_string("yes\n", !IO)
Index: memo_non.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/memo_non.m,v
retrieving revision 1.3
diff -u -r1.3 memo_non.m
--- memo_non.m	4 Apr 2006 02:39:23 -0000	1.3
+++ memo_non.m	1 Apr 2010 07:11:45 -0000
@@ -10,6 +10,8 @@
  :- implementation.
  :- import_module int, solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(test_non(1, 2), NonSoln1),
  	io__write(NonSoln1, !IO),
Index: mercury_java_parser_dead_proc_elim_bug.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/mercury_java_parser_dead_proc_elim_bug.m,v
retrieving revision 1.1
diff -u -r1.1 mercury_java_parser_dead_proc_elim_bug.m
--- mercury_java_parser_dead_proc_elim_bug.m	13 Aug 2007 03:02:00 -0000	1.1
+++ mercury_java_parser_dead_proc_elim_bug.m	1 Apr 2010 07:12:05 -0000
@@ -59,6 +59,8 @@
  :- import_module std_util.
  :- import_module string.

+:- pragma require_feature_set([memo]).
+
      % The parser "state".  This is just the offset into the input string,
      % which (depending on the version) may be passed around or stored in
      % a C global variable.
Index: mercury_java_parser_dead_proc_elim_bug2.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/mercury_java_parser_dead_proc_elim_bug2.m,v
retrieving revision 1.1
diff -u -r1.1 mercury_java_parser_dead_proc_elim_bug2.m
--- mercury_java_parser_dead_proc_elim_bug2.m	13 Aug 2007 03:02:01 -0000	1.1
+++ mercury_java_parser_dead_proc_elim_bug2.m	1 Apr 2010 07:11:55 -0000
@@ -58,6 +58,8 @@
  :- import_module std_util.
  :- import_module string.

+:- pragma require_feature_set([memo]).
+
      % The parser "state".  This is just the offset into the input string,
      % which (depending on the version) may be passed around or stored in
      % a C global variable.
Index: oota.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/oota.m,v
retrieving revision 1.3
diff -u -r1.3 oota.m
--- oota.m	15 Jan 2007 02:24:04 -0000	1.3
+++ oota.m	1 Apr 2010 07:12:10 -0000
@@ -31,6 +31,8 @@
  :- import_module string.
  :- import_module unit.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
      io.command_line_arguments(Args, !IO),
      (
Index: repeat.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/repeat.m,v
retrieving revision 1.3
diff -u -r1.3 repeat.m
--- repeat.m	6 Apr 2006 04:50:18 -0000	1.3
+++ repeat.m	1 Apr 2010 07:12:14 -0000
@@ -13,6 +13,8 @@
  :- import_module int, list.
  :- import_module solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, Solns1),
  	io__write(Solns1, !IO),
Index: reset_stats_intermod.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/reset_stats_intermod.m,v
retrieving revision 1.1
diff -u -r1.1 reset_stats_intermod.m
--- reset_stats_intermod.m	8 Aug 2008 04:47:36 -0000	1.1
+++ reset_stats_intermod.m	1 Apr 2010 07:12:39 -0000
@@ -16,6 +16,8 @@

  :- import_module reset_stats_intermod_2.

+:- pragma require_feature_set([memo]).
+
  %-----------------------------------------------------------------------------%

  main(!IO) :-
Index: reset_stats_intermod_2.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/reset_stats_intermod_2.m,v
retrieving revision 1.1
diff -u -r1.1 reset_stats_intermod_2.m
--- reset_stats_intermod_2.m	8 Aug 2008 04:47:36 -0000	1.1
+++ reset_stats_intermod_2.m	1 Apr 2010 07:12:19 -0000
@@ -15,6 +15,8 @@

  :- implementation.

+:- pragma require_feature_set([memo]).
+
  :- pragma memo(plus1/1, [allow_reset, statistics]).

  plus1(X) = X + 1.
Index: rotate.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/rotate.m,v
retrieving revision 1.3
diff -u -r1.3 rotate.m
--- rotate.m	16 Jul 2009 07:29:52 -0000	1.3
+++ rotate.m	1 Apr 2010 07:12:51 -0000
@@ -15,6 +15,8 @@

  :- import_module solutions, int, list, set.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
      testgroup(3, 2, !IO),
      testgroup(3, 1, !IO),
Index: rotate2.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/rotate2.m,v
retrieving revision 1.2
diff -u -r1.2 rotate2.m
--- rotate2.m	30 Mar 2006 00:42:01 -0000	1.2
+++ rotate2.m	1 Apr 2010 07:12:46 -0000
@@ -13,6 +13,8 @@

  :- import_module maybe, int, list, set, solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	testgroup(3, 2, !IO),
  	testgroup(3, 1, !IO),
Index: semidet_minimal.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/semidet_minimal.m,v
retrieving revision 1.1
diff -u -r1.1 semidet_minimal.m
--- semidet_minimal.m	20 Jul 2004 05:14:14 -0000	1.1
+++ semidet_minimal.m	1 Apr 2010 07:12:57 -0000
@@ -15,6 +15,7 @@
  :- import_module list.

  :- import_module std_util, int, exception.
+:- pragma require_feature_set([memo]).

  main(!IO) :-
  	( r(1, RSoln1) ->
Index: seq.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/seq.m,v
retrieving revision 1.3
diff -u -r1.3 seq.m
--- seq.m	6 Apr 2006 04:50:18 -0000	1.3
+++ seq.m	1 Apr 2010 07:13:13 -0000
@@ -13,6 +13,8 @@

  :- import_module solutions, int, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, Solns),
  	io__write(Solns, !IO),
Index: seq2.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/seq2.m,v
retrieving revision 1.4
diff -u -r1.4 seq2.m
--- seq2.m	6 Apr 2006 04:50:18 -0000	1.4
+++ seq2.m	1 Apr 2010 07:13:00 -0000
@@ -15,6 +15,8 @@

  :- import_module solutions, int, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, Solns),
  	io__write(Solns, !IO),
Index: seq3.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/seq3.m,v
retrieving revision 1.3
diff -u -r1.3 seq3.m
--- seq3.m	6 Apr 2006 04:50:18 -0000	1.3
+++ seq3.m	1 Apr 2010 07:13:04 -0000
@@ -15,6 +15,8 @@

  :- import_module solutions, int, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, Solns),
  	io__write(Solns, !IO),
Index: seq4.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/seq4.m,v
retrieving revision 1.4
diff -u -r1.4 seq4.m
--- seq4.m	6 Apr 2006 04:50:18 -0000	1.4
+++ seq4.m	1 Apr 2010 07:13:10 -0000
@@ -15,6 +15,8 @@

  :- import_module solutions, int, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(p, SolnsP),
  	io__write_string("P = ", !IO),
Index: sg.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/sg.m,v
retrieving revision 1.5
diff -u -r1.5 sg.m
--- sg.m	30 Mar 2006 00:42:01 -0000	1.5
+++ sg.m	1 Apr 2010 07:13:21 -0000
@@ -12,6 +12,8 @@

  :- import_module pair, list, solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(sg1, Solns1),
  	io__write(Solns1, !IO),
Index: specified.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/specified.m,v
retrieving revision 1.4
diff -u -r1.4 specified.m
--- specified.m	31 Dec 2007 10:04:05 -0000	1.4
+++ specified.m	1 Apr 2010 07:13:46 -0000
@@ -26,6 +26,8 @@
  :- import_module require.
  :- import_module string.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
      perform_trials(aplp_vs_vplp, [1, 4], 14, 3, 0, 0, !IO),
      perform_trials(apli_vs_vpli, [1, 4], 14, 3, 0, 0, !IO),
Index: specified_hidden_arg.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/specified_hidden_arg.m,v
retrieving revision 1.1
diff -u -r1.1 specified_hidden_arg.m
--- specified_hidden_arg.m	16 Nov 2007 03:44:54 -0000	1.1
+++ specified_hidden_arg.m	1 Apr 2010 07:13:30 -0000
@@ -17,6 +17,8 @@

  :- import_module int.

+:- pragma require_feature_set([memo]).
+
  %-----------------------------------------------------------------------------%

  main(!IO) :-
Index: specified_stats.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/specified_stats.m,v
retrieving revision 1.1
diff -u -r1.1 specified_stats.m
--- specified_stats.m	31 Dec 2007 10:04:05 -0000	1.1
+++ specified_stats.m	1 Apr 2010 07:13:50 -0000
@@ -25,6 +25,8 @@
  :- import_module string.
  :- import_module table_statistics.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
      perform_trials(aplp_vs_vplp, [1, 4], 14, 3, 0, 0, !IO),
      perform_trials(apli_vs_vpli, [1, 4], 14, 3, 0, 0, !IO),
Index: table_foreign_enum.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/table_foreign_enum.m,v
retrieving revision 1.1
diff -u -r1.1 table_foreign_enum.m
--- table_foreign_enum.m	20 Aug 2007 03:36:22 -0000	1.1
+++ table_foreign_enum.m	1 Apr 2010 07:13:56 -0000
@@ -9,6 +9,8 @@

  :- import_module string.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	test_foreign_enum(bar, baz, Result),
  	io.write_string("First result: " ++ Result ++ "\n", !IO),
Index: table_foreign_output.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/table_foreign_output.m,v
retrieving revision 1.2
diff -u -r1.2 table_foreign_output.m
--- table_foreign_output.m	29 Mar 2006 08:08:08 -0000	1.2
+++ table_foreign_output.m	1 Apr 2010 07:14:00 -0000
@@ -13,6 +13,8 @@

  :- import_module list, assoc_list, pair, solutions.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(test([1 - "one", 2 - "two", 2 - "two", 1 - "one"]),
  		Solns),
Index: tc_loop.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/tc_loop.m,v
retrieving revision 1.3
diff -u -r1.3 tc_loop.m
--- tc_loop.m	4 Apr 2006 02:39:23 -0000	1.3
+++ tc_loop.m	1 Apr 2010 07:08:00 -0000
@@ -10,6 +10,8 @@

  :- import_module solutions, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(tc(1), Solns),
  	( Solns = [] ->
Index: tc_memo.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/tc_memo.m,v
retrieving revision 1.2
diff -u -r1.2 tc_memo.m
--- tc_memo.m	4 Apr 2006 02:39:23 -0000	1.2
+++ tc_memo.m	1 Apr 2010 07:08:26 -0000
@@ -10,6 +10,8 @@

  :- import_module solutions, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(tc(1), Solns),
  	io__write(Solns, !IO),
Index: tc_memo2.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/tc_memo2.m,v
retrieving revision 1.1
diff -u -r1.1 tc_memo2.m
--- tc_memo2.m	20 Jul 2004 04:41:43 -0000	1.1
+++ tc_memo2.m	1 Apr 2010 07:08:48 -0000
@@ -10,6 +10,8 @@

  :- import_module std_util, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	(
  		tc(1, 4),
Index: tc_minimal.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/tc_minimal.m,v
retrieving revision 1.3
diff -u -r1.3 tc_minimal.m
--- tc_minimal.m	6 Apr 2006 04:50:18 -0000	1.3
+++ tc_minimal.m	1 Apr 2010 07:09:00 -0000
@@ -10,6 +10,8 @@

  :- import_module solutions, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(tc(1), Solns),
  	io__write(Solns, !IO),
Index: tc_minimal2.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/tc_minimal2.m,v
retrieving revision 1.3
diff -u -r1.3 tc_minimal2.m
--- tc_minimal2.m	6 Apr 2006 04:50:18 -0000	1.3
+++ tc_minimal2.m	1 Apr 2010 07:08:56 -0000
@@ -12,6 +12,8 @@

  :- import_module solutions, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	solutions(tc_l(1), SolnsL),
  	io__write_string("L = ", !IO),
Index: tc_minimal_semidet.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/tc_minimal_semidet.m,v
retrieving revision 1.1
diff -u -r1.1 tc_minimal_semidet.m
--- tc_minimal_semidet.m	20 Jul 2004 05:14:14 -0000	1.1
+++ tc_minimal_semidet.m	1 Apr 2010 07:09:08 -0000
@@ -14,6 +14,8 @@

  :- import_module string, std_util, list.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	test(1, 1, !IO),
  	test(1, 2, !IO),
Index: test_enum.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/test_enum.m,v
retrieving revision 1.1
diff -u -r1.1 test_enum.m
--- test_enum.m	10 Jan 2005 05:30:25 -0000	1.1
+++ test_enum.m	1 Apr 2010 07:14:12 -0000
@@ -12,6 +12,8 @@

  :- import_module int, string, list.

+:- pragma require_feature_set([memo]).
+
  :- type start_cond_type
  	--->    start_cond_initial
  	;       start_cond_ord.
Index: unused_args.m
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/tabling/unused_args.m,v
retrieving revision 1.4
diff -u -r1.4 unused_args.m
--- unused_args.m	21 Jun 2004 03:29:16 -0000	1.4
+++ unused_args.m	1 Apr 2010 07:14:22 -0000
@@ -12,6 +12,8 @@
  :- implementation.
  :- import_module std_util.

+:- pragma require_feature_set([memo]).
+
  main(!IO) :-
  	test(!IO),
  	test(!IO),

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
Next message: [m-rev.] For review: New predicates in assoc_list
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
More information about the reviews mailing list