在 antlr3 中解析 mixfix 表达式

Question

我需要调整 ANTLR3 语法以支持 let 表达式。操作员需要非常弱地绑定。例如let x=3 in x + 1 读作let x=3 in (x+1) 而不是(let x=3 in x) + 1。

不幸的是，我的候选语法仍然模棱两可。 有没有一种标准的方法可以使规则明确无误？ （加上额外的( ) 就可以了。）

顺便说一句，它似乎适用于 ANTLR4 的盒子。但是，就我而言，这不是一个选择。

grammar Expr;

prog:   stat+ ;

stat:   expr NEWLINE
    |   ID '=' expr NEWLINE
    |   NEWLINE
    ;

expr:   sum ( ('*'|'/') sum )* ;

sum:    atom ( ('+'|'-') atom )* ;

atom:   INT
    |   ID
    |   '(' expr ')'
 // |   '(' let ')'
    |   let
    ;

let:    'let' ID '=' expr 'in' expr ;

ID  :   ('a' .. 'z')+ ;
INT :   ('0' ..'9')+ ;
NEWLINE: '\r'? '\n' ;
WS  :   ' ' { $channel = HIDDEN; };

Answer 1

没有问题。

输入的解析树

let x=3 in x + 1
3 * let x = 2 in x+1

是

Answer 2

正常的方法是为每个优先级设置一个不同的非终结符，像这样（请注意，您似乎将求和和产生的优先级颠倒了，所以我也修复了这个问题）：

expr:   sum | let;

let:    'let' ID '=' expr 'in' expr ;

sum:    product ( ('+'|'-') prodcut)* ;

product: atom ( ('*'|'/') atom )* ;

atom:   INT
    |   ID
    |   '(' expr ')'
    ;