for review: update todo.html

[David Glen JEFFERY]

Hi,

Can you please review this, Fergus?
==============================================================================

Estimated hours taken: 0.1

compiler/notes/todo.html
	Updated mention of existential types and added an item about better
	support in the standard library for higher order programming.

cvs diff: Diffing .
Index: todo.html
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/notes/todo.html,v
retrieving revision 1.7
diff -u -t -r1.7 todo.html
--- todo.html	1998/09/02 07:02:19	1.7
+++ todo.html	1998/09/22 06:07:01
@@ -113,10 +113,7 @@
 <li> allow explicit type qualifications `X : Type'
         [already done, but need to change module qualifier op to `.' first]
 
-<li> allow existential types at the top level of func or pred declarations,
-     e.g. <samp>:- some [T] (func univ_value(univ) = T).</samp>.
-
-<li> allow existential types in data structures
+<li> improve support for existential types
 
 <li> remove limitation that higher-order terms are monomorphic.
      i.e. allow universal quantifiers at the top level of
@@ -180,6 +177,14 @@
      arguments, and to have unique modes for curried arguments.
  
 <li> allow taking the address of a predicate with multiple modes
+
+<li> improve support for higher-order programming, eg. by providing
+     operators in the standard library which do things like:
+     <ul>
+     <li>compose functions
+     <li>take a predicate with one output argument and treat it like a function.
+     ie. <tt>:- func (pred(T)) = T.</tt>
+     </ul>
 </ul>
 
 <h2> module system: </h2>
==============================================================================


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Department of Computer Science  |  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.