trivial diff: disable tests/general/dnf.m

Fergus Henderson fjh at cs.mu.OZ.AU
Sun May 17 01:52:36 AEST 1998


tests/general/Mmakefile:
	Disable the `dnf' test case, since it uses tabling (`pragma memo')
	which isn't implemented in non-gc grades yet.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/general/Mmakefile,v
retrieving revision 1.16
diff -u -u -r1.16 Mmakefile
--- Mmakefile	1998/04/16 12:00:08	1.16
+++ Mmakefile	1998/05/16 15:49:52
@@ -19,7 +19,6 @@
 		commit_bug \
 		commit_bug_2 \
 		disj_disj \
-		dnf \
 		hello_again \
 		interpreter \
 		nasty_nondet \
@@ -61,7 +60,9 @@
 		unreachable 
 
 # space.m does not work, due to an unfixed bug in code generation.
-NOT_WORKING =	space
+# dnf.m does not work in non-gc grades, because it uses `pragma memo'
+# (i.e. tabling) and tabling is not yet implemented for non-gc grades.
+NOT_WORKING =	space dnf
 
 # mode_inf and mode_inf_bug need to be compiled with `--infer-all'.
 MCFLAGS-mode_inf = --infer-all

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



More information about the developers mailing list