trivial diff: tests/hard_coded/rev_arith.m

[Fergus Henderson]

tests/hard_coded/Mmakefile:
tests/hard_coded/rev_arith.m:
tests/hard_coded/rev_arith.exp:
	Change the `rev_arith.m' test so that it only tests
	for the things which we actually support, and enable it.

cvs diff  tests/hard_coded/Mmakefile tests/hard_coded/rev_arith.exp tests/hard_coded/rev_arith.m
Index: tests/hard_coded/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/Mmakefile,v
retrieving revision 1.19
diff -u -r1.19 Mmakefile
--- Mmakefile	1998/03/03 17:47:27	1.19
+++ Mmakefile	1998/03/11 19:33:39
@@ -59,6 +59,7 @@
 	qual_is_test \
 	remove_file \
 	reorder_di \
+	rev_arith \
 	reverse_arith \
 	rnd \
 	string_alignment \
Index: tests/hard_coded/rev_arith.exp
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/rev_arith.exp,v
retrieving revision 1.1
diff -u -r1.1 rev_arith.exp
--- rev_arith.exp	1996/05/18 14:26:04	1.1
+++ rev_arith.exp	1998/03/09 09:22:38
@@ -1,12 +1,6 @@
 2
 1
 3
-5
-2
-10
 10
 30
 20
-6
-90
-15
Index: tests/hard_coded/rev_arith.m
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/rev_arith.m,v
retrieving revision 1.2
diff -u -r1.2 rev_arith.m
--- rev_arith.m	1996/05/29 10:59:54	1.2
+++ rev_arith.m	1998/03/09 09:24:13
@@ -1,5 +1,9 @@
 % A test to see whether backwards arithmetic works.
 
+% Note that currently only + and - can be run backwards;
+% running * or // backwards would lead to multiple answers,
+% and so we don't support that.
+
 :- module rev_arith.
 :- interface.
 :- import_module io.
@@ -14,15 +18,15 @@
 	3 = 1 + A,
 	3 = B + 2,
 	C = 1 + 2,
-	10 = 2 * D,
-	10 = E * 5,
-	F = 2 * 5,
+%	10 = 2 * D,
+%	10 = E * 5,
+%	F = 2 * 5,
 	20 = 30 - G,
 	20 = H - 10,
 	I = 30 - 10,
-	15 = 90 // J,
-	15 = K // 6,
-	L = 90 // 6
+%	15 = 90 // J,
+%	15 = K // 6,
+%	L = 90 // 6
 	},
 	io__write_int(A),
 	io__write_string("\n"),
@@ -30,21 +34,21 @@
 	io__write_string("\n"),
 	io__write_int(C),
 	io__write_string("\n"),
-	io__write_int(D),
-	io__write_string("\n"),
-	io__write_int(E),
-	io__write_string("\n"),
-	io__write_int(F),
-	io__write_string("\n"),
+%	io__write_int(D),
+%	io__write_string("\n"),
+%	io__write_int(E),
+%	io__write_string("\n"),
+%	io__write_int(F),
+%	io__write_string("\n"),
 	io__write_int(G),
 	io__write_string("\n"),
 	io__write_int(H),
 	io__write_string("\n"),
 	io__write_int(I),
-	io__write_string("\n"),
-	io__write_int(J),
-	io__write_string("\n"),
-	io__write_int(K),
-	io__write_string("\n"),
-	io__write_int(L),
 	io__write_string("\n").
+%	io__write_int(J),
+%	io__write_string("\n"),
+%	io__write_int(K),
+%	io__write_string("\n"),
+%	io__write_int(L),
+%	io__write_string("\n").

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.