Условное правило перезаписи

Question

Возьмут следующий псевдо-правило:

rule: prefix? rest; 

Я хотел бы переписать AST на основе появления префикса.

Если нет префикса, я бы хотел, чтобы он был переписан как rest.

Если есть префикс, то хотелось бы, чтобы переписать в виде (PARENT prefix rest)

PARENT 
-prefix 
-rest 

Другими словами, я хочу, чтобы сделать маркер появится в AST, если 0 или 1 альтернатива найдена.

[Как] возможно?

Answer 1

Разделить его на две отдельные альтернативы:

rule 
: prefix rest -> ^(PARENT prefix rest) 
| rest  -> rest 
;