[m-dev.] diff: turn RL optimization on by default

[Simon Taylor]

> On 18-Apr-2000, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > compiler/options.m:
> ...
> > 	Uncomment the Aditi sections of the options help message.
> 
> If you're going to do that, then ideally you should also uncomment
> the corresponding documentation in the Mercury user's guide.

OK, it can't hurt.
 
> Is Aditi publically available yet?

Real soon now.

Simon.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.179
diff -u -u -r1.179 reference_manual.texi
--- reference_manual.texi	2000/04/14 08:39:07	1.179
+++ reference_manual.texi	2000/04/18 07:34:08
@@ -9,7 +9,7 @@
 @c @end direntry
 
 @c Uncomment the line below to enable documentation of the Aditi interface.
- at c @set aditi
+ at set aditi
 
 @c @smallbook
 @c @cropmarks
@@ -6004,10 +6004,11 @@
 @subsection Aditi overview
 
 The University of Melbourne Mercury implementation includes support for
-compiling Mercury predicates for bottom-up evaluation using the Aditi
+compiling Mercury predicates for bottom-up evaluation using the Aditi2
 deductive database system. The Aditi system is not yet publicly available,
 so this is currently not very useful to anyone other than the Mercury and
-Aditi developers.
+Aditi developers. For more information see the Aditi web site
+at <http://www.cs.mu.oz.au/aditi>.
 
 Evaluation by a deductive database system is useful for predicates which
 use large amounts of data, since the database system can use efficient join
Index: user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.204
diff -u -u -r1.204 user_guide.texi
--- user_guide.texi	2000/03/26 09:07:02	1.204
+++ user_guide.texi	2000/04/18 07:38:38
@@ -9,7 +9,7 @@
 @c @end direntry
 
 @c Uncomment the line below to enable documentation of the Aditi interface.
- at c @set aditi
+ at set aditi
 
 @c @smallbook
 @c @cropmarks
@@ -2332,8 +2332,8 @@
 @chapter Using Aditi
 
 The Mercury compiler allows compilation of predicates for execution
-using the Aditi deductive database. There are several sources of useful
-information:
+using the Aditi2 deductive database system. There are several sources
+of useful information:
 
 @itemize @bullet
 @item
@@ -2341,7 +2341,7 @@
 ``Implementation-dependent extensions'' chapter in the
 Mercury Language Reference Manual
 @item
-the Aditi Reference Manual (doesn't exist yet) @c XXX
+the Aditi web site at <http://www.cs.mu.oz.au/aditi>
 @item
 the file @file{extras/aditi/aditi.m} in the @samp{mercury-extras} distribution
 @end itemize
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------