[m-dev.] diff: documentation for pragma fact_table

[David Matthew OVERTON]

Fergus Henderson wrote:
> 
> 
> doc/reference_manual.texi:
> 	Document the support for `pragma fact_table'.
> 
Thanks for that, Fergus.  There are also a couple of new compiler
options for fact tables.  Do you want to include them in the user
guide?  Here is a diff:

doc/user_guide.texi
	Document new options for `pragma fact_table's.

Index: doc/user_guide.texi
===================================================================
RCS file: /home/staff/zs/imp/mercury/doc/user_guide.texi,v
retrieving revision 1.91
diff -u -r1.91 user_guide.texi
--- user_guide.texi	1997/07/27 15:05:47	1.91
+++ user_guide.texi	1997/07/29 00:35:40
@@ -1674,6 +1674,20 @@
 @item --cflags @var{options}
 Specify options to be passed to the C compiler.
 
+ at sp 1
+ at item --fact-table-max-array-size @var{size}
+Specify the maximum number of elements in a single 
+ at samp{pragma fact_table} data array (default: 1024).
+The data for fact tables is placed into multiple C arrays, each with a
+maximum size given by this option.  The reason for doing this is that
+most C compilers have trouble compiling very large arrays.
+
+ at sp 1
+ at item --fact-table-hash-percent-full @var{percentage}
+Specify how full the @samp{pragma fact_table} hash tables should be
+allowed to get.  Given as an integer percentage (valid range: 1 to 100,
+default: 90).
+
 @end table
 
 @node Optimization options