[m-rev.] trivial diff: update the todo list

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

compiler/notes/todo.html:
	Update this file - we've implemented some of the things
	listed.
Julien.

Index: todo.html
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/notes/todo.html,v
retrieving revision 1.16
diff -u -r1.16 todo.html
--- todo.html	14 Jul 2004 05:37:06 -0000	1.16
+++ todo.html	2 Mar 2006 03:55:44 -0000
@@ -157,9 +157,7 @@
 <li> support back-ends other than LLDS
 <li> allow interactive queries to refer to values generated by
      the program being debugged
-<li> conditional breakpoints
 <li> trace semidet unifications
-<li> graphical term browser
 </ul>

 <hr>
@@ -170,10 +168,8 @@
 <h2> type-system </h2>

 <ul>
-<li> allow explicit type qualifications `X : Type'
-	[already done, but need to change module qualifier op to `.' first]

-<li> allow std_util:construct/4 to work 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
@@ -376,8 +372,6 @@
 <li> support for easier formal specification translation (eg a Z library,
      or Z to Mercury).

-<li> improve support for constraint programming
-
 <li> implement a source visualisation tool

 <li> distributed Mercury

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