Menhir上的語義操作

Question

我正在爲分配語言構建一個小型編譯器。

考慮以下規則：

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

是當var_block最初識別語義動作觸發，或者它觸發一次生產結束時達到（在這種情況下，RPAREN）？

Answer 1

讀取整個生產後觸發。

Answer 2

你的問題正是你爲什麼不應該這樣做。

不要做生產規則中的順序敏感的副作用。生產規則應該用來建立一個代表你程序的數據結構。一旦完成，你可以分析/執行/不管它。