Message99732
I'm not exactly sure what wording to use here.
element_index: `integer` | `identifier`
is not exactly correct, because it can be a non-identifier (as the example that eddy quotes points out. It's really "any sequence of characters except ']'".
Any ideas on the best way to express that? Maybe taking a clue from string literals, this would be:
element_index: `integer` | index_string
index_string: <any source character except "]"> + |
|
Date |
User |
Action |
Args |
2010-02-22 13:31:41 | eric.smith | set | recipients:
+ eric.smith, georg.brandl, eddy |
2010-02-22 13:31:40 | eric.smith | set | messageid: <1266845500.89.0.376403856264.issue7928@psf.upfronthosting.co.za> |
2010-02-22 13:31:39 | eric.smith | link | issue7928 messages |
2010-02-22 13:31:38 | eric.smith | create | |
|