0

我有以下解析器：

%{

open t
open Lexer

%}
%token <int> INT
%token <float> FLOAT
%token <char> CHAR
%token <bool> BOOL

    %token PLUS Menos Mult Div Bigger Smaller MINUS TIMES 
    %token Equals Atribuicao SoE BoE And Or
    %token IF THEN ELSE BEGIN END FUNCTION WHILE SEQ RANGE DEF RETURN OF TO PV VIR DD
    %token RP LP SPL SPR LB RB 
    %token EOL




        %left PLUS MINUS        /* lowest precedence */
        %left TIMES Div         /* medium precedence */
        %nonassoc UMINUS       /* highest precedence */
        %start main            /* the entry point */

%type <int> main %%            
main:
| expr EOL                { $1 }

    expr:           
      INT               { $1 }  
    | IF LP expr RP         { $3 }
    | BEGIN expr END        { $2 }
    | RETURN expr PV        { $2 }
    | LP expr RP            { $2 }
    | expr PLUS expr        { $1 + $3 }
    | expr MINUS expr       { $1 - $3 }
    | expr TIMES expr           { $1 * $3 }
    | expr Div expr             { $1 / $3 }
    | MINUS expr %prec UMINUS   { - $2 }

我知道它还不完整，我仍在构建它并学习如何正确使用 ocamlyacc/menhir。

好吧，当我添加这一行时：| expr Bigger expr {$1 > $3}它给了我 10 次移位/减少冲突......但是当我用这样的括号添加这一行时：

| LP expr RP Bigger LP expr RP {$2 > $6} LP代表'('，RP代表') '

它非常适合，没有错误，也没有移位/减少冲突

这是问题的正确解决方案吗？如果是，那为什么？还有一个问题，我的解析器做错了吗？还是只是不完整？

感谢并为某事感到抱歉！

4

1 回答 1

1

Bigger并且Smaller需要与数学运算一起声明为%left或%right
关联：

%left Bigger Smaller
%left PLUS MINUS
%left TIMES Div
%nonassoc UMINUS
于 2016-12-20T03:32:59.317 回答