[m-dev.] for review: update WORK_IN_PROGRESS

[Fergus Henderson]

Estimated hours taken: 0.25

WORK_IN_PROGRESS:
	Update to reflect recent developments.

Index: WORK_IN_PROGRESS
===================================================================
RCS file: /home/mercury1/repository/mercury/WORK_IN_PROGRESS,v
retrieving revision 1.15
diff -u -d -u -r1.15 WORK_IN_PROGRESS
--- WORK_IN_PROGRESS	2000/11/15 10:30:11	1.15
+++ WORK_IN_PROGRESS	2001/01/17 01:07:42
@@ -10,6 +10,9 @@
   See <http://www.cs.mu.oz.au/mercury/dotnet.html> and/or
   <http://www.cs.mu.oz.au/mercury/information/dotnet/mercury_and_dotnet.html>.
 
+* There is a `--target asm' option, which generates assembler by
+  interfacing directly with the GCC back-end, rather than going via C.
+
 * Thread-safe engine.
 
 * Independent AND-parallelism.
@@ -43,18 +46,34 @@
 * The Mercury debugger (mdb) now includes some support for declarative
   debugging.
 
+* There is a `--generate-bytecode' option, for a new back-end
+  that generates bytecode.  The bytecode generator is basically
+  complete, but we don't have a bytecode interpreter.
+
 We also have some code that goes at least some part of the way towards
 implementing the features below.   However, for these features, the
 code has not yet been committed and thus is not part of the standard
 distribution.
 
+* A bytecode interpreter, for use with the `--generate-bytecode' option.
+
+* A `--target java' option, which generates Java.
+
 * Support for aliasing in the mode system.
 
 * 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
 
+* Sequence quantification (see the description in
+  http://www.cs.mu.oz.au/research/mercury/information/reports/minutes_15_12_00.html).
+
+* A SOAP interface.
 
+* A QuickCheck-style module for software testing.
+
+* Improvements to the debugger's pretty-printer.
+
 Work not in progress
 --------------------
 
@@ -63,10 +82,6 @@
 quite a bit more work, and our current priorities lie elsewhere.
 Still, these would make interesting and worthwhile projects
 if someone has the time for it.
-
-* There is a `--generate-bytecode' option, for a new back-end
-  that generates bytecode.  The bytecode generator is basically
-  complete, but we don't have a bytecode interpreter.
 
 * There is a `--generate-prolog' option for a new back-end
   that generates Prolog code.
-- 
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
--------------------------------------------------------------------------