X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=TODO;h=1e53bb83803c4c468679d4feecd2e18fc61b6032;hp=f059a77b4fd96ab9c8abf7dd9e4c29df20cad354;hb=f22d53e6ae3581e6c2dc096fd0cf93c18e2d2538;hpb=0ab024f487647f99eb000345c29c2f8e9b52a200

diff --git a/TODO b/TODO
index f059a77..1e53bb8 100644
--- a/TODO
+++ b/TODO
@@ -1,9 +1,24 @@
 _____________________________________________________________________________
 Immediately
 
-  - I still don't like Atom.Infer and Atom.Invert...
+- 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
 
-  - better ambiguity debugging tools
+create( $c:{...}, class ) =
+  return create($c:{...})
+
+create( h:{...}, class ) = 
+
+create( , String)
+
+create( _:{...}, String) = treat as char[]
+create( _:{...}, c[] )   = { create(.,c), create(.,c), ... }
+
+create( $c:{...} ) =
+
+
+  - better ambiguity debugging tools / visualization
 
   - ParseFailed, GSS, Walk, Parser, Sequence, Forest