endless recursion when adding binary operation expressions to grammar about dart-petitparser HOT 3 CLOSED

Please provide a minimal reproducible example (MRE).

An MRE is intended to reproduce an error using the smallest amount of code. It saves package developers time trying to reproduce the problem; and wading through code that is not relevant to the bug. Ultimately it helps you to get your problem solved quicker.

The MRE should include:

1. Packages to be imported.
2. The shortest amount of code needed to reproduce the problem.
3. A main function that calls your code and demonstrates the problem, i.e. with a failing assertion.

from dart-petitparser.

import 'package:petitparser/petitparser.dart';

Parser a() => char("a");

Parser expression() => (ref0(binaryOperationExpression) | ref0(a)).cast();

Parser binaryOperationExpression() => (ref0(expression) & char("+") & ref0(expression));

Parser statement() => (ref0(expression)).cast();

main() {
  print(resolve(statement().end()).parse("a+a"));
}

from dart-petitparser.

Your grammar has left-recursive productions expression -> binaryOperationExpression, which leads to infinite recursion at runtime. Have a look look at the tutorial Writing a More Complicated Grammar and Using the Expression Builder, that demonstrate how to build expression grammars.

The simplest way to avoid the recursion is to rewrite the grammar as:

Parser a() => char("a");
Parser statement() => ref0(a).starSeparated(char('+'));

from dart-petitparser.