[m-rev.] trivial diff: fix tests/tabling/tc_loop failure

[Fergus Henderson]

Branches: main
Estimated hours taken: 0.5

tests/tabling/Mmakefile:
tests/tabling/tc_loop.exp2:
	Add a new expected output for the tc_loop test case,
	to match what is output (on aral) in the asm_fast.gc.mm.debug grade.

Workspace: /mnt/ceres/home/ceres/fjh/mercury
Index: tests/tabling/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/Mmakefile,v
retrieving revision 1.19
diff -u -d -r1.19 Mmakefile
--- tests/tabling/Mmakefile	2003/03/18 16:38:54	1.19
+++ tests/tabling/Mmakefile	2003/05/12 07:31:59
@@ -78,6 +78,7 @@
 	else \
 		sed	-e 's/exception.m:[0-9]*/exception.m:NNNN/g' \
 			-e 's/require.m:[0-9]*/require.m:NNNN/g' \
+			-e 's/std_util.m:[0-9]*/std_util.m:NNNN/g' \
 			< $@.tmp > $@; \
 		rm -f $@.tmp; \
 	fi
Index: tests/tabling/tc_loop.exp2
===================================================================
RCS file: tc_loop.exp2
diff -N tc_loop.exp2
--- /dev/null	Mon Dec 17 21:20:53 2001
+++ tc_loop.exp2	Mon May 12 17:31:40 2003
@@ -0,0 +1,10 @@
+Uncaught Mercury exception:
+Software Error: detected infinite recursion in pred tc_loop.tc/2
+Stack dump follows:
+   0       pred exception.throw/1-0 (erroneous) (exception.m:NNNN)
+   1       pred require.error/1-0 (erroneous) (require.m:NNNN
+   2    3* pred tc_loop.tc/2-0 (nondet) (tc_loop.m:26 and others)
+   5       pred std_util.builtin_aggregate/4-6 (det) (std_util.m:NNNN)
+   6       pred std_util.builtin_solutions/2-1 (det) (std_util.m:NNNN)
+   7       pred std_util.solutions/2-1 (det) (std_util.m:NNNN)
+   8       pred tc_loop.main/2-0 (det) (tc_loop.m:14)

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