X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=TODO;h=d7afed210b1b4c08633226d90b5e1fededf516d4;hp=1d628025dfb76a84c08b695ad58aacc26f7c6650;hb=45d799349e635f1a99e3974e4504a43d5a7aaf33;hpb=d684010debf9069af108981d9451932c15b1ec75

diff --git a/TODO b/TODO
index 1d62802..d7afed2 100644
--- a/TODO
+++ b/TODO
@@ -1,11 +1,35 @@
 _____________________________________________________________________________
 Immediately
 
-  - decent/better error messages
-      - fix the location stuff, it's broken
+- If a top-level rule has labels but no head-tag, like this
+    Foo = a:Bar b:Baz
+  then infer the name of the rule it belongs to
 
-  - copyright notices
+create( $c:{...}, class ) =
+  return create($c:{...})
+
+create( h:{...}, class ) = 
+
+create( , String)
+
+create( _:{...}, String) = treat as char[]
+create( _:{...}, c[] )   = { create(.,c), create(.,c), ... }
+
+create( $c:{...} ) =
+
+
+  - clean up the visualization (?)
 
+  - I still don't like Atom.Infer and Atom.Invert...
+
+  - better ambiguity debugging tools
+
+  - ParseFailed, GSS, Walk, Parser, Sequence, Forest
+
+  - Fix the metagrammar (really?)
+      - evil problems with      (x y? z /ws)
+
+  - copyright notices
   - documentation
 
 ______________________________________________________________________________
@@ -19,6 +43,8 @@ v1.1
       - RFC2822 (email message/headers)
   - clean up the whole Walk situation (?)
 
+  - what if Tree<> could unwrap itself?
+
 
 ______________________________________________________________________________
 Soon
@@ -42,6 +68,9 @@ Soon
   - inference of rejections for literals
   - "prefer whitespace higher up" (?)
 
+  - Labeled edges on trees (associate a label with each slot in the
+    child array in Forest.Body?  might make equality tough) --
+    equivalent to Feature Structures.  Colon-labeling.
 
 ______________________________________________________________________________
 Later