ML-Yacc Tiger解析器没有正确解析左值

Question

我正在使用ML-Yacc在SML中处理我的Tiger compiler的解析器组件。我找不到任何明显的语法问题（我使用优先规则来解决所有移位 - 缩减冲突），但似乎从来没有减少使用lvalue的第二条和第三条规则，我已经指定如下：

lvalue : ID      () 
     | lvalue DOT ID   () 
     | lvalue LBRACK exp RBRACK() 

语法为exp是：

exp : lvalue      () 
    | INT      () 
    | ID LBRACK exp RBRACK OF exp() 
    | lvalue ASSIGN exp   () 
    ... 

当试图解析a[0] := 5，我希望它使用第四exp规则（其中lvalue是lvalue LBRACK exp RBRACK）减少。相反，Yacc发现语法错误，并将ASSIGN替换为OF，并使用第三个exp规则进行解析。

与lvalue DOT ID发生类似的问题。

Answer 1

我在输入问题时解决了我的问题，因此如果有其他人遇到此问题，我会回答我的问题。

问题（我认为）是lvalue的语法是左递归的。我认为Yacc可能会对此发出警告，但它没有 - 可能是我设置的优先规则隐藏了问题。左考虑的语法解决了这个问题：

编辑：左保养刚刚发生解决问题，但左递归不是问题。请参阅下面的评论和类似linked question。

lvalue : ID lvalue'    () 

lvalue' :       () 
     | DOT ID lvalue'   () 
     | LBRACK exp RBRACK lvalue'()