快乐:制作顺序消除了R/R冲突

Question

我有一个语法,根据作品的顺序,快乐的报告3减少/减少冲突或没有.我能找到的最小例子是:

%tokentype {Token}
%token
    int     { Int }
    '-'     { Neg }
    both    { Both }
%nonassoc both
%left '-'
%nonassoc NEG
%%
E : int                  {IntE}
  | both E E             {BothE $2 $3}
  | '-' E %prec NEG      {NegE $2}
  | E '-' E              {SubE $1 $3}
{
data Token = Int | Neg | Both deriving Show
data Expr = BothE Expr Expr | IntE | SubE Expr Expr | NegE Expr deriving Show
}

这有3个减少 - 减少冲突,基于无法区分" both 7 -3"和" both 7-3 2".很公平!

但是,如果您将最后两个产品换成E('-' E %prec NEG和E '-' E),则减少/减少冲突会消失.更令人费解的是,如果你随后删除%prec NEG指令,他们就会回来.我对这里发生的事情感到很困惑:为什么这个命令很重要？