On 05.12.2018 14:59, 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>
However <key> /is/ wrong ... it implies that keys can't contain "#" or "[", where actually they can, they just can't start with one of those two. Whet they really can't contain is "=". I will have to check the code though ... -- Brane