[m-dev.] diff: disable nondet fact tables in hl* grades

[Fergus Henderson]

Estimated hours taken: 0.25

tests/hard_coded/Mmakefile:
	Disable the `factt_non' test case in hl* grade,
	since we don't pass it.

doc/reference_manual.texi:
	Document that nondet fact tables are not supported by the
	`--high-level-code' back-end.

Workspace: /home/pgrad/fjh/ws/hg
Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.193
diff -u -d -r1.193 reference_manual.texi
--- doc/reference_manual.texi	2000/10/10 06:23:32	1.193
+++ doc/reference_manual.texi	2000/10/24 01:06:18
@@ -6139,8 +6139,13 @@
 is invoked.
 
 The main limitation of the @samp{fact_table} pragma is that
+in the current implementation,
 predicates or functions defined as fact tables can only have
 arguments of types @samp{string}, @samp{int} or @samp{float}.
+
+Another limitation is that the @samp{--high-level-code} back-end does
+not support @samp{pragma fact_table} for procedures with determinism
+ at samp{nondet} or @samp{multi}.
 
 @node Tabled evaluation
 @section Tabled evaluation
Index: tests/hard_coded/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/Mmakefile,v
retrieving revision 1.92
diff -u -d -r1.92 Mmakefile
--- tests/hard_coded/Mmakefile	2000/10/23 14:08:20	1.92
+++ tests/hard_coded/Mmakefile	2000/10/24 01:01:59
@@ -7,7 +7,7 @@
 
 #-----------------------------------------------------------------------------#
 
-PROGS=	\
+ORDINARY_PROGS=	\
 	address_of_builtins \
 	agg \
 	bidirectional \
@@ -44,7 +44,6 @@
 	expand \
 	export_test \
 	factt \
-	factt_non \
 	float_field \
 	float_map \
 	float_reg \
@@ -114,6 +113,17 @@
 	user_defined_equality \
 	write \
 	write_reg1
+
+# factt_non does not work in the hl* grades (e.g. hlc.gc),
+# because the code for nondet fact tables assumes that
+# we're using the LLDS back-end.
+ifeq "$(findstring hl,$(GRADE))" ""
+FACTT_NON_PROGS = factt_non
+else
+FACTT_NON_PROGS =
+endif
+
+PROGS = $(ORDINARY_PROGS) $(FACTT_NON_PROGS)
 
 # --split-c-files does not work in the hl* grades (e.g. hlc.gc),
 # because it hasn't yet been implemented yet.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------