stream menhir -简单语法流冲突的结束

Question

我正在试用Menhir，用(+，-，* /操作符)生成一个非常简单的表达式解析器，但是流冲突结束了。下面是语法：

%token <int> INT
%token ADD
%token SUB
%token MUL
%token DIV
%token EOF
%token LPAREN
%token RPAREN

%start <Expr.ast option> top_expr

%%

top_expr:
    | EOF
    { None }

    | r = expr
    { Some r }
    ;

expr:
    | r = term
    { r }

    | l = expr; ADD; r = term
    { Expr.Add (l,r) }

    | l = expr; SUB; r = term
    { Expr.Sub (l,r) }
    ;

term:
    | r = atom
    { r }

    | l = term; MUL; r = atom
    { Expr.Mul (l,r) }

    | l = term; DIV; r = atom
    { Expr.Div (l,r) }
    ;

atom:
    | LPAREN; r = expr; RPAREN
    { r }

    | r = INT
    { Expr.INT r }

我得到的警告是：

Warning: 9 states have an end-of-stream conflict.
File "expr_parser.mly", line 18, characters 6-19:
Warning: production top_expr -> expr is never reduced.

如何防止这一警告？

这里是由menhir生成的.automaton文件。

Answer 1

看起来，您需要向第二个子句添加显式EOF。

 top_expr:
    | EOF
    { None }

    | r = expr EOF
    { Some r }