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> -- Brane