[m-rev.] diff: update WORK_IN_PROGRESS

[Simon Taylor]

Estimated hours taken: 0.25
Branches: main

WORK_IN_PROGRESS:
	Update the Aditi entry - Aditi has been released and
	the documentation is not commented out.

	Add an entry for the inter-module analysis framework.

Index: WORK_IN_PROGRESS
===================================================================
RCS file: /home/mercury1/repository/mercury/WORK_IN_PROGRESS,v
retrieving revision 1.18
diff -u -u -r1.18 WORK_IN_PROGRESS
--- WORK_IN_PROGRESS	10 Oct 2002 07:29:46 -0000	1.18
+++ WORK_IN_PROGRESS	17 Oct 2002 01:18:42 -0000
@@ -31,14 +31,11 @@
   code, and needs a great deal of tuning and optimization.  It also
   needs testing.
 
-* Mercury is now the official programming language for Melbourne Uni's
-  "Aditi" deductive database system.  The Mercury compiler includes
-  support for interfacing to Aditi.  However Aditi itself is not yet
-  complete and has not yet been made publicly available.
-  (The Aditi support is documented in doc/reference_manual.texi,
-  but for now that documentation is commented out -- it's not
-  included in the formatted versions of the reference manual,
-  only in the TexInfo source code.)
+* Mercury is now the official programming language for Melbourne University's
+  "Aditi" deductive database system (see <http://www.cs.mu.oz.au/aditi>).
+  The Mercury compiler includes incomplete support for interfacing to Aditi.
+  In particular, the support for executing ordinary Mercury code within
+  Aditi queries is currently poor.
 
 * Converting procedures to tail-recursive form via automatic
   accumulator introduction (--introduce-accumulators).
@@ -66,6 +63,8 @@
 * Support for automatic structure reuse (reusing old data
   structures that are no longer live, rather than allocating
   new memory on the heap) and compile time garbage collection
+
+* Better support for inter-module analysis and optimization.
 
 * Sequence quantification (see the description in
   http://www.cs.mu.oz.au/research/mercury/information/reports/minutes_15_12_00.html).
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------