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

Reply via email to