1 This is a living document - delete things when done. Avoid discussion.
3 Current version (Cataract Creek)
4 - Warn when left-recursive symbols appear elsewhere, other than at the end
5 of a production. Might have to special-case Newlines.
6 - parser not to get into ERROR infinite loop
7 - sort 'virtual' symbols to end
8 - allow $xy instead of $3. Chooses shortest bodysym with xy in that order
9 $xy_2 gives the second one
10 - allow $TERM terminals to be listed. If so, extras are errors
13 - anonymous field - array or struct (or pointer to these)
14 multiple anon struct ar allowed if they don't conflict
15 - [] can apply to anon array field
16 - anon struct field gets fields interpolated
18 - manifest values for arrays and structs [a,b,c]
19 or [.foo=a, .bar=b] or [ [1]=a, [2]=b]
20 That last doesn't parse easily, unless we require tags... not a good idea.
21 [ .[1] = a, .[2] = b ] ?? Maybe.
26 - split values so I can have an array of just the value (1 byte for u8)
27 - integers, unsigned, bitfield, float, double?
30 - pure, loaded, overloaded, augmented
31 - owned: once, counted, collected
32 - shared or thread-local
34 - array buffer - can be added to and grows.
35 - char, string search, regexp search
37 - allow "do stuff" as a stand-alone statement (scope)
38 - 'use' labels *must* appear in case statements.
39 - re-read parsergen lit-doc and make sure it is still coherent.
41 Next version (Govetts Creek):
42 - functions and procedures
43 - Finalize what a "main" program looks like.
46 - per-field attributes
47 constant, stable, add-only, read-only, mutable, owned, borrowed, dependant, pure
51 - constructors and destructors - or "after" ??
52 - vtables, fat pointers, list of approaches
53 - operators as interface methods
54 - interfaces, inheritance
55 - modules, imports and exports
56 - closures, threads, co-routines, generators
57 - introspection / reflection ?
58 e.g. support serialization
59 find function given a string holding the name
60 measure coverage, adjust based on performance metrics
61 auto-create mock objects
62 Is this just parsing the details in the obj file?
64 - string / slice / strbuf
65 - parsing library - sscanf equiv, regexp, LALR
68 - sockets / http / HTML
69 - parameterised types, and dependant types
70 - message passing primitives
71 - overloading for numbers
73 - ensure list_head type concept can work
75 - pattern matching for destructuring??
78 - iso suffixes for number?
80 - case fall-through or go-to
81 - break/continue or "next","last"