checkpoint
[sbp.git] / TODO
diff --git a/TODO b/TODO
index f059a77..1e53bb8 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,9 +1,24 @@
 _____________________________________________________________________________
 Immediately
 
 _____________________________________________________________________________
 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
 
 
   - ParseFailed, GSS, Walk, Parser, Sequence, Forest