[m-rev.] diff: update minimal model tabling test caes

[Julien Fischer]

Estimated hours taken: 0.2
Branches: main

Update test cases that are only run in minimal model tabling grades
to conform with recent library changes.

tests/tabling/*.m:
	Conform to recent changes in the standard library.

Julien.

Index: combine.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/combine.m,v
retrieving revision 1.3
diff -u -r1.3 combine.m
--- combine.m	31 May 2004 04:13:23 -0000	1.3
+++ combine.m	6 Apr 2006 04:24:51 -0000
@@ -8,7 +8,7 @@

 :- implementation.

-:- import_module int, std_util.
+:- import_module int, solutions.

 main(!IO) :-
 	solutions(a, Solns),
Index: completed_consumer_in_solutions.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/completed_consumer_in_solutions.m,v
retrieving revision 1.2
diff -u -r1.2 completed_consumer_in_solutions.m
--- completed_consumer_in_solutions.m	31 May 2004 04:13:23 -0000	1.2
+++ completed_consumer_in_solutions.m	6 Apr 2006 04:25:30 -0000
@@ -13,7 +13,7 @@
 :- implementation.

 :- import_module int, list.
-:- import_module std_util.
+:- import_module solutions.

 main(!IO) :-
 	q(Solns1, Solns2),
Index: consumer_in_commit.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/consumer_in_commit.m,v
retrieving revision 1.3
diff -u -r1.3 consumer_in_commit.m
--- consumer_in_commit.m	31 May 2004 04:13:23 -0000	1.3
+++ consumer_in_commit.m	6 Apr 2006 04:26:13 -0000
@@ -11,7 +11,7 @@
 :- implementation.

 :- import_module int, list.
-:- import_module std_util.
+:- import_module solutions.

 main(!IO) :-
 	solutions(p, SolnsP),
Index: coup.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/coup.m,v
retrieving revision 1.3
diff -u -r1.3 coup.m
--- coup.m	31 May 2004 04:13:24 -0000	1.3
+++ coup.m	6 Apr 2006 04:28:15 -0000
@@ -13,7 +13,7 @@
 :- implementation.

 :- import_module int, list.
-:- import_module std_util.
+:- import_module solutions.

 main(!IO) :-
 	solutions(p, Solns),
Index: coup2.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/coup2.m,v
retrieving revision 1.3
diff -u -r1.3 coup2.m
--- coup2.m	31 May 2004 04:13:24 -0000	1.3
+++ coup2.m	6 Apr 2006 04:29:11 -0000
@@ -13,7 +13,7 @@

 :- implementation.

-:- import_module std_util, int, list.
+:- import_module solutions, int, list.

 main(!IO) :-
 	solutions(p, SolnsP),
Index: coup3.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/coup3.m,v
retrieving revision 1.3
diff -u -r1.3 coup3.m
--- coup3.m	31 May 2004 04:13:24 -0000	1.3
+++ coup3.m	6 Apr 2006 04:32:17 -0000
@@ -11,7 +11,7 @@

 :- implementation.

-:- import_module std_util, int, list.
+:- import_module solutions, int, list.

 main(!IO) :-
 	solutions(p, SolnsP),
Index: coup4.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/coup4.m,v
retrieving revision 1.2
diff -u -r1.2 coup4.m
--- coup4.m	31 May 2004 04:13:24 -0000	1.2
+++ coup4.m	6 Apr 2006 04:32:26 -0000
@@ -13,7 +13,7 @@

 :- implementation.

-:- import_module std_util, int, list.
+:- import_module solutions, int, list.

 main(!IO) :-
 	solutions(p, SolnsP),
Index: coup_det_frame.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/coup_det_frame.m,v
retrieving revision 1.2
diff -u -r1.2 coup_det_frame.m
--- coup_det_frame.m	31 May 2004 04:13:24 -0000	1.2
+++ coup_det_frame.m	6 Apr 2006 04:32:51 -0000
@@ -19,7 +19,7 @@
 :- implementation.

 :- import_module int, list.
-:- import_module std_util.
+:- import_module solutions.

 main(!IO) :-
 	solutions(p, Solns),
Index: coup_no_commit.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/coup_no_commit.m,v
retrieving revision 1.3
diff -u -r1.3 coup_no_commit.m
--- coup_no_commit.m	31 May 2004 04:13:24 -0000	1.3
+++ coup_no_commit.m	6 Apr 2006 04:33:16 -0000
@@ -11,7 +11,7 @@
 :- implementation.

 :- import_module int, list.
-:- import_module std_util.
+:- import_module solutions.

 main(!IO) :-
 	solutions(p, Solns),
Index: coup_non_tabled_frame.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/coup_non_tabled_frame.m,v
retrieving revision 1.2
diff -u -r1.2 coup_non_tabled_frame.m
--- coup_non_tabled_frame.m	31 May 2004 04:13:25 -0000	1.2
+++ coup_non_tabled_frame.m	6 Apr 2006 04:33:41 -0000
@@ -13,7 +13,7 @@
 :- implementation.

 :- import_module int, list.
-:- import_module std_util.
+:- import_module solutions.

 main(!IO) :-
 	solutions(p, Solns),
Index: generator_in_commit.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/generator_in_commit.m,v
retrieving revision 1.3
diff -u -r1.3 generator_in_commit.m
--- generator_in_commit.m	31 May 2004 04:13:26 -0000	1.3
+++ generator_in_commit.m	6 Apr 2006 04:33:54 -0000
@@ -13,7 +13,7 @@
 :- implementation.

 :- import_module int, list.
-:- import_module std_util.
+:- import_module solutions.

 main(!IO) :-
 	solutions(p, Solns),
Index: repeat.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/repeat.m,v
retrieving revision 1.2
diff -u -r1.2 repeat.m
--- repeat.m	31 May 2004 04:13:27 -0000	1.2
+++ repeat.m	6 Apr 2006 04:34:10 -0000
@@ -11,7 +11,7 @@
 :- implementation.

 :- import_module int, list.
-:- import_module std_util.
+:- import_module solutions.

 main(!IO) :-
 	solutions(p, Solns1),
Index: rotate.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/rotate.m,v
retrieving revision 1.1
diff -u -r1.1 rotate.m
--- rotate.m	21 Jun 2004 03:31:56 -0000	1.1
+++ rotate.m	6 Apr 2006 04:34:47 -0000
@@ -11,7 +11,7 @@

 :- implementation.

-:- import_module std_util, int, list, set.
+:- import_module solutions, int, list, set.

 main(!IO) :-
 	testgroup(3, 2, !IO),
Index: seq.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/seq.m,v
retrieving revision 1.2
diff -u -r1.2 seq.m
--- seq.m	31 May 2004 04:13:27 -0000	1.2
+++ seq.m	6 Apr 2006 04:23:17 -0000
@@ -11,7 +11,7 @@

 :- implementation.

-:- import_module std_util, int, list.
+:- import_module solutions, int, list.

 main(!IO) :-
 	solutions(p, Solns),
Index: seq2.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/seq2.m,v
retrieving revision 1.3
diff -u -r1.3 seq2.m
--- seq2.m	31 May 2004 04:13:28 -0000	1.3
+++ seq2.m	6 Apr 2006 04:43:28 -0000
@@ -13,7 +13,7 @@

 :- implementation.

-:- import_module std_util, int, list.
+:- import_module solutions, int, list.

 main(!IO) :-
 	solutions(p, Solns),
Index: seq3.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/seq3.m,v
retrieving revision 1.2
diff -u -r1.2 seq3.m
--- seq3.m	31 May 2004 04:13:28 -0000	1.2
+++ seq3.m	6 Apr 2006 04:35:04 -0000
@@ -13,7 +13,7 @@

 :- implementation.

-:- import_module std_util, int, list.
+:- import_module solutions, int, list.

 main(!IO) :-
 	solutions(p, Solns),
Index: seq4.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/seq4.m,v
retrieving revision 1.3
diff -u -r1.3 seq4.m
--- seq4.m	21 Jun 2004 03:14:30 -0000	1.3
+++ seq4.m	6 Apr 2006 04:35:12 -0000
@@ -13,7 +13,7 @@

 :- implementation.

-:- import_module std_util, int, list.
+:- import_module solutions, int, list.

 main(!IO) :-
 	solutions(p, SolnsP),
Index: tc_minimal.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/tc_minimal.m,v
retrieving revision 1.2
diff -u -r1.2 tc_minimal.m
--- tc_minimal.m	31 May 2004 04:13:28 -0000	1.2
+++ tc_minimal.m	6 Apr 2006 04:35:39 -0000
@@ -8,7 +8,7 @@

 :- implementation.

-:- import_module std_util, list.
+:- import_module solutions, list.

 main(!IO) :-
 	solutions(tc(1), Solns),
Index: tc_minimal2.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/tc_minimal2.m,v
retrieving revision 1.2
diff -u -r1.2 tc_minimal2.m
--- tc_minimal2.m	31 May 2004 04:13:29 -0000	1.2
+++ tc_minimal2.m	6 Apr 2006 04:35:55 -0000
@@ -10,7 +10,7 @@

 :- implementation.

-:- import_module std_util, list.
+:- import_module solutions, list.

 main(!IO) :-
 	solutions(tc_l(1), SolnsL),

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------