for review: update WORK_IN_PROGRESS file

[Fergus Henderson]

Hi,

Can someone please review this for me?

--------------------

Estimated hours taken: 0.5

WORK_IN_PROGRESS:
	- mention the support for aliasing, accumulator introduction,
	  and specialization of polymorphic procedures (these are
	  all committed onto the alias branch)
	- add a new section "work not in progress" at the end of this file
	- move the documentation on `--generate-bytecode' and
	  `--generate-prolog' into this new section, and rewrite
	  them a bit
	- mention `--high-level-c' in the "work not in progress" section

Index: WORK_IN_PROGRESS
===================================================================
RCS file: /home/mercury1/repository/mercury/WORK_IN_PROGRESS,v
retrieving revision 1.9
diff -u -r1.9 WORK_IN_PROGRESS
--- WORK_IN_PROGRESS	1998/07/22 07:39:42	1.9
+++ WORK_IN_PROGRESS	1998/10/30 05:11:36
@@ -2,7 +2,8 @@
 ----------------
 
 The compiler contains some code for the following features,
-which are not yet completed:
+which are not yet completed, but which we hope to complete
+at some time in the future:
 
 * Existential types.
 
@@ -14,12 +15,6 @@
   This is not yet enabled by default because it has not yet been tested
   properly.
 
-* There is a new `--generate-bytecode' option --
-  but the bytecode interpreter isn't working yet.
-
-* There is a new `--generate-prolog' option
-  which does not work yet.
-
 * There is a new `--optimize-constructor-last-call' option
   which identifies opportunities for LCO where a call
   is followed only by some constructor invocations.
@@ -38,5 +33,31 @@
 code has not yet been committed and thus is not part of the standard
 distribution.
 
-* [Currently no features in this category.]
+* Support for aliasing in the mode system.
+
+* Converting procedures to tail-recursive form via automatic
+  accumulator introduction.
+
+* Specialization of polymorphic code.
+
+
+Work not in progress
+--------------------
+
+The compiler also contains some code for the following features,
+but work on them has stopped, since finishing them off would be
+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.
+  Not very much progress has really been made on this.
 
+* There is a `--high-level-c' option, for a new back-end
+  that generates C code but at a much higher level than the
+  current back-end.  

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.