- + Issue 919: (26) Section 6.4 (Switch branches illegal in BNF)
[Jon Sanders, 1/22/2001]
(26) Section 6.4 (Switch branches illegal in BNF)
The BNF of the conditional_statement disallows switch branches. In 6.1, strongly recommend that attempts to limit
analog_statements inside analog statements using BNF be removed and replace by a semantic restriction. It is impossible as far
as I can tell!
See restrictions on analog operators in 4.4.1 as this also implies that switch branches are illegal.
Recommendation: BNF should be adjusted to allow these. May need to do limitations on conditionals as semantic rules.