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. -- - Julian