[m-dev.] diff: update compiler/notes/todo.html

[Fergus Henderson]

Estimated hours taken: 0.25

compiler/notes/todo.html:
	Update for release 0.9.

Workspace: /usr/hg2/fjh/mercury
Index: compiler/notes/todo.html
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/notes/todo.html,v
retrieving revision 1.9
diff -u -d -r1.9 todo.html
--- compiler/notes/todo.html	1999/03/24 05:32:21	1.9
+++ compiler/notes/todo.html	1999/12/11 16:33:26
@@ -92,8 +92,6 @@
 <h2> C interface </h2>
 
 <ul>
-<li> document `pragma import' and nondet C code interface
-
 <li> exporting things for manipulating Mercury types from C
 
 <li> better support for types defined in C
@@ -122,7 +120,7 @@
 <li> allow explicit type qualifications `X : Type'
 	[already done, but need to change module qualifier op to `.' first]
 
-<li> improve support for existential types
+<li> allow std_util:construct/4 to work for existential types
 
 <li> remove limitation that higher-order terms are monomorphic.
      i.e. allow universal quantifiers at the top level of
@@ -156,8 +154,7 @@
 <li> handle abstract insts in the same way abstract types are handled
      (a research issue - is this possible at all?)
 
-<li> implement `willbe(Inst)' insts?
-	  [will be done by conway]
+<li> implement `willbe(Inst)' insts, for parallelism
 
 <li> mode segments & high-level transformation of circularly moded programs.
 </ul>
@@ -290,21 +287,15 @@
 
 <ul>
 <li> coroutining and parallel versions of Mercury
-	[being worked on by conway]
 
 <li> implement streams (need coroutining at least)
 
 <li> implement a very fast turn-around bytecode compiler/interpreter/debugger,
      similar to Gofer
-     [not-so-fast bytecode compiler done,
-     bytecode interpreter/debugger being worked on by aet]
-
-<li> implement a new backend which compiles to high-level C that can
-     be debugged at the Mercury source code level using gdb
-	[a small start has been made by fjh]
+     [not-so-fast bytecode compiler done, but bytecode interpreter
+     not implemented]
 
 <li> implement "accurate" garbage collection
-	[being worked on by trd]
 
 <li> implement parallel garbage collection
 

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