X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=TODO;h=07e6c74f4132b44c0743c83274cacd1f55ddf6fb;hp=d2d930d9363c6c69074ae189054a6dcb0718c6a1;hb=2ce79345d1c7533a1328fab2814f467af5aefb15;hpb=ce09a3233a44462c262c1751bb805edfc9d83d55

diff --git a/TODO b/TODO
index d2d930d..07e6c74 100644
--- a/TODO
+++ b/TODO
@@ -1,6 +1,16 @@
+
+- A new alternative (choice) operator that says "the compiler should
+  be able to statically determine that there is no ambiguity here"
+
+- Composable parsers (parser that generate output that is input to
+  future parsers).  Use trees?
+
 _____________________________________________________________________________
 Immediately
 
+  - keywordification (ie globally reject from all productions?
+  - generalized follow-by?)
+
   - clean up util package
 
   - currently we GC the doomed stack when the parent dies... but
@@ -33,6 +43,16 @@ Immediately
 ______________________________________________________________________________
 v1.1
 
+- use regression/least-squares/trend-prof to look for reductions whose
+  behavior is O(n^2)? (ie performed a number of times proportional to
+  the input consumed so far).
+
+- Optimizations:
+    - (x &~ y) => (x & z)
+    - string lookahead
+    - don't form result forests for negated productions
+    - early kills: (a &~ ... b ...) -> once "... b" is seen, "a" is dead
+
   - MUST HAVE BETTER ERROR MESSAGES
      - use for developing java15.g
      - better ambiguity reporting