Estoy diseñando una gramática muy simple, donde uso el operario único unario. Sin embargo, tengo un cambio / reducir el conflicto. En el manual de Bison, y en cualquier otra parte que busque, dice que debo definir un nuevo token y darle mayor prioridad que el operando menos binario, y luego usar "% prec TOKEN" en la regla.

Lo he hecho, pero sigo recibiendo la advertencia. ¿Por qué?

Estoy usando bison (GNU Bison) 2.4.1. La gramática se muestra a continuación:

%{
#include <string>
extern "C" int yylex(void);
%}

%union {
    std::string token;
}

%token <token> T_IDENTIFIER T_NUMBER
%token T_EQUAL T_LPAREN T_RPAREN

%right T_EQUAL
%left T_PLUS T_MINUS
%left T_MUL T_DIV
%left UNARY

%start program

%%

program : statements expr
;

statements : '\n'
           | statements line
;

line : assignment
     | expr
;

assignment : T_IDENTIFIER T_EQUAL expr
;

expr : T_NUMBER
     | T_IDENTIFIER
     | expr T_PLUS expr
     | expr T_MINUS expr
     | expr T_MUL expr
     | expr T_DIV expr
     | T_MINUS expr   %prec UNARY
     | T_LPAREN expr T_RPAREN
;