и где они будут считаться приемлемыми.
These directives can appear anywhere comments are permitted (see section 2.2) but must be followed by a delimiter.
Note that it is ungrammatical to follow a 〈directive〉 with
anything but a 〈delimiter〉 or the end of file.
Что можно сказать судя из этого текста? Потому что судя из описания формального синтаксиса не совсем то что-то:
<directive> -> #!fold-case | #!no-fold-case
<atmosphere> -> <whitespace> | <comment> | <directive>
<intertoken space> -> <atmosphere>*
Тоесть не описаны все эти тонкости с delimiter
Тоесть насколько я на данный момент понял было бы более правильным если бы в грамматике было что-то вроде: <directive> -> #!fold-case <delimiter or eof> | #!no-fold-case <delimiter or eof>
Обсуждают сегодня