Ошибка в парсере - любая константа считается вызовом функции about lens HOT 3 CLOSED

Здесь проблема с грамматикой. Есть следующие строки:

invoke_expr         = value_expr [ invoke_list ]
invoke_list         = ( { NL "<|" value_expr } NL ) | { value_expr }

Любая константа подходит под выражение invoke_expr; более того, выражение invoke_list в этом случае тоже успешно матчится, т.к. пустой список { value_expr } ему соответствует.

Пока что решил проблему, отфильтровав на уровне invoke_expr два случая:

1. Несовпавшее выражение invoke_list (стоит отметить, что при текущей грамматике это физически невозможно, но решил проверить на будущее).
2. Совпавшее выражение invoke_list, вернувшее пустой список (этот случай ловится в большинстве случаев и, собственно, решает проблему).

Здесь проявляется системная проблема нашей грамматики: выражения из Grammar.txt не всегда полностью соответствуют узлам из пространства имён Lens.SyntaxTree. То есть достоверно валидировать код по такой грамматике можно, а вот создавать синтаксическое дерево по ней не всегда получается дословно.

from lens.

Я исправлю грамматику. Если есть invoke_list, то будет InvokeNode, иначе - ValueExpr.

from lens.

Добавил в грамматику и описал в #34.

from lens.