关于Menhir的语义行为

Question

我正在为一种赋值语言构建一个小型编译器。

考虑以下规则：

var_block : 
  | LPAREN var_decl+ RPAREN { var_scope := var_scope + 1 };

是在var_block第一次被识别时触发语义动作，还是在达到生产结束(在本例中是RPAREN)时触发它？

Answer 1

你的问题就是你为什么不应该这么做。

不要做在生产规则中对顺序敏感的副作用.产品规则应该用来建立一个代表程序的数据结构。一旦完成，您就可以分析/执行/管它了。

Answer 2

它是在读取整个产品之后触发的。