Если правило создается из void-подправил, оно требует обработчик rule(_ : void) : T.
Немерле запрещает аргументы типа void. То есть создать обработчик невозможно.

Если правило включает void-подправило с квантификатором '?', требуется обработчик с аргументом option[void], что тоже создает проблемы.

Как обойти?

Здравствуйте, catbert, Вы писали:

C>Если правило создается из void-подправил, оно требует обработчик rule(_ : void) : T.
C>Немерле запрещает аргументы типа void. То есть создать обработчик невозможно.

C>Если правило включает void-подправило с квантификатором '?', требуется обработчик с аргументом option[void], что тоже создает проблемы.
Тут ты что-то путаешь.
Внутри типизатора option[void] всегда превращается в void.
Только что проверил.
И оно так уже больше года работает, если верить истории изменений.

C>Как обойти?
Фиксить макрос.
Как фиксить еще нужно понять.
Но я, честно говоря, не понял, зачем оно тебе вообще понадобилось?

Здравствуйте, WolfHound, Вы писали:

WH>Но я, честно говоря, не понял, зачем оно тебе вообще понадобилось?

Понадобилось давать узлы AST пустым строкам:

    emptyLine       : CodeLine  = s logicalNewLine;

Если убрать void с s или logicalNewLine, придется переписывать другие обработчики.

Насчет option[void] — действительно, воспроизвести сейчас не могу наверное, были какие-то дополнительные условия, которых уже не осталось.

Здравствуйте, catbert, Вы писали:

C>Если убрать void с s или logicalNewLine, придется переписывать другие обработчики.
Первое что приходит в голову это завети правило без void в котором делать всю работу и вызывать его и правила с void.
Тогда и грамматику трогать не придется и нужное поведение получишь.

Здравствуйте, catbert, Вы писали:

C>Если правило создается из void-подправил, оно требует обработчик rule(_ : void) : T.

void-подправил на то и void, чтобы не иметь обработчиков. Нужны обработчики — не используй void-подправила.

Здравствуйте, VladD2, Вы писали:

VD>void-подправил на то и void, чтобы не иметь обработчиков. Нужны обработчики — не используй void-подправила.

Их обработчики мне и не нужны. Мне нужен обработчик их комбинации.

Здравствуйте, catbert, Вы писали:

C>Их обработчики мне и не нужны. Мне нужен обработчик их комбинации.

Делай отдельное символьное правило и уже его включай как в void-правильно, так и в другие места. В общем, разверни сознание .