On 05.12.2018 15:05, Julian Foad wrote: > Branko Čibej wrote: >> On 05.12.2018 14:44, Julian Foad wrote: >>> Branko Čibej wrote: >>>> Yes, but I'm asking for a review of the BNF to make sure that it doesn't >>>> contain silly bugs. >>> At first glance, I saw what looks like a bug: it says a comment must have a >>> non-white-space immediately after the '#'... I didn't review further. >> The <text> production used imply "optional". I already fixed that and >> how the comment definition reads: >> >> <comment> ::= "#" <opt-text> <line-end> > The problem is <opt-text> isn't allowed to start with whitespace.
Eh, you're right; I redefined <opt-text> to fix that, which also fixes <key-value>. -- Brane