diff: todo.html minor changes

[Fergus Henderson]

compiler/notes/todo.html:
	Update a couple of things.

Index: compiler/notes/todo.html
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/notes/todo.html,v
retrieving revision 1.6
diff -u -r1.6 todo.html
--- todo.html	1998/06/29 05:37:19	1.6
+++ todo.html	1998/09/02 06:59:51
@@ -34,9 +34,10 @@
 <p>
 
 <ul>
-<li> fix various bugs in mode inference;
-     in particular need to infer mostly-unique vs unique distinctions,
-     and need to fix it to work properly in the presence of functions.
+<li> fix various bugs in mode inference:
+     need to fix it to work properly in the presence of functions;
+     also need to change normalise_inst so that it handles complicated
+     insts such as `list_skel(any)'.
 
 <li> extend the mode system to allow known aliasing.
      This is needed to make partially instantiated modes and unique modes work.
@@ -70,7 +71,7 @@
   independently of any declarations or imports in the implementation
   section
 
-<li> imports should not be transitive
+<li> use_module should not be transitive
   (currently we get this right for predicates, constants, and functors,
   but wrong for types, insts, and modes).
 
@@ -218,8 +219,8 @@
      using accumulators
 	[being worked on by petdr]
 
-<li> deforestation and partial deduction
-	[being worked on by stayl]
+<li> improvements to deforestation / partial deduction
+
 </ul>
 
 <h2> low-level optimizations </h2>

-- 
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.