X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=TODO;h=d7afed210b1b4c08633226d90b5e1fededf516d4;hp=f059a77b4fd96ab9c8abf7dd9e4c29df20cad354;hb=45d799349e635f1a99e3974e4504a43d5a7aaf33;hpb=95c87aa402977de2b96c48bd14c439b46ad49777 diff --git a/TODO b/TODO index f059a77..d7afed2 100644 --- a/TODO +++ b/TODO @@ -1,6 +1,25 @@ _____________________________________________________________________________ Immediately +- 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 + +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