This is a living document - delete things when done. Avoid discussion.
-
Current version (Cataract Creek)
-- handle free_type more cleanly??
-- change 'labels' to only be created for 'use'
-- handle syntax errors better - recover quickly.
-- use precedence levels for expressions
+- Warn when left-recursive symbols appear elsewhere, other than at the end
+ of a production. Might have to special-case Newlines.
+- parser not to get into ERROR infinite loop
+- sort 'virtual' symbols to end
+- allow $xy instead of $3. Chooses shortest bodysym with xy in that order
+ $xy_2 gives the second one
+- allow $TERM terminals to be listed. If so, extras are errors
- structs
- const fields
- anonymous field - array or struct (or pointer to these)
- anon struct field gets fields interpolated
- manifest values for arrays and structs [a,b,c]
+ or [.foo=a, .bar=b] or [ [1]=a, [2]=b]
+ That last doesn't parse easily, unless we require tags... not a good idea.
+ [ .[1] = a, .[2] = b ] ?? Maybe.
- yet more operators
<< >> #
bit-ops & | ~ &~
op=
- split values so I can have an array of just the value (1 byte for u8)
-- integers, unsigned, bitfield, float
+- integers, unsigned, bitfield, float, double?
- pointers
- owned or borrowed
- pure, loaded, overloaded, augmented
- owned: once, counted, collected
+ - shared or thread-local
- array slice
- array buffer - can be added to and grows.
- char, string search, regexp search
- allow "do stuff" as a stand-alone statement (scope)
+- 'use' labels *must* appear in case statements.
+- re-read parsergen lit-doc and make sure it is still coherent.
Next version (Govetts Creek):
- functions and procedures