Martin Bjorklund <[email protected]> writes:

>> 
>>    if-feature-expr     = "(" if-feature-expr ")" /
>>                          if-feature-expr sep boolean-operator sep
>>                            if-feature-expr /
>>                          not-keyword sep if-feature-expr /
>>                          identifier-ref-arg
>> 
>> This should probably be marked ";; precedence rules specified in
>> Section 7.20.2", as the grammar is ambiguous and does not specify the
>> precedence, whereas typical programming language grammars encode the
>> precedence rules.
>
> Or we change it to:
>
> if-feature-expr     = if-feature-term [sep or-keyword sep if-feature-expr]
>
> if-feature-term     = if-feature-factor [sep and-keyword sep if-feature-term]
>
> if-feature-factor   = not-keyword sep if-feature-factor /
>                       "(" sep if-feature-expr sep ")" /
>                       identifier-ref-arg
>

I support extending the grammar as Martin suggests. In fact, I proposed
this change to the ABNF already in my review from 2014-11-26:

https://www.ietf.org/mail-archive/web/netmod/current/msg11411.html

(except that the boolean operators are left-associative in my version
and right-associative in Martin's, but that is irrelevant).

Lada

-- 
Ladislav Lhotka, CZ.NIC Labs
PGP Key ID: E74E8C0C

_______________________________________________
netmod mailing list
[email protected]
https://www.ietf.org/mailman/listinfo/netmod

Reply via email to