我正在为一个赋值语言构建一个小编译器.
请考虑以下规则:
var_block : | LPAREN var_decl+ RPAREN { var_scope := var_scope + 1 };
首次识别var_block时是否触发语义操作,或者在达到生产结束时触发语义操作(在本例中为RPAREN)?
compiler-construction ocaml menhir
compiler-construction ×1
menhir ×1
ocaml ×1