For review: Additions to TODO.
Tyson Richard DOWD
trd at students.cs.mu.oz.au
Thu Feb 27 11:48:47 AEDT 1997
Hi all,
Anyone can review this, but I guess I'll need fjh or zs to approve it.
===================================================================
Estimated hours taken: 0.05
Add two new items to the TODO list.
compiler/notes/TODO:
- Add extended DCGs to wish list, and removing limitation on
monomorphic higher order terms to TODO list.
Index: TODO
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/notes/TODO,v
retrieving revision 1.62
diff -u -r1.62 TODO
--- TODO 1997/02/21 01:26:14 1.62
+++ TODO 1997/02/27 00:29:27
@@ -14,6 +14,7 @@
represented as unordered lists with possible duplicates.
[this is a subset of the functionality of type classes]
+- remove limitation that higher-order terms are monomorphic.
mode analysis
-------------
@@ -181,6 +182,8 @@
specialisation problem
- deforestation
+
+- extended DCGs
- transform non-tail-recursive predicates into tail-recursive form
using accumulators
--
Tyson Dowd # "Most people's C code should be indented
# six feet downward and covered with
trd at cs.mu.oz.au # dirt."
http://www.cs.mu.oz.au/~trd # - Blair Houghton, on C code indentation
More information about the developers
mailing list