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