parser.mlyで変数の宣言を処理する方法は？

Question

私はOcamlにミニパスカルのコンパイラを書いています。私は、例えば、次のコードを受け入れるように、私のコンパイラをしたいと思います：

program test; 
var 
    a,b : boolean; 
    n : integer; 
begin 
    ... 
end. 

私は変数の宣言（varを、以下の部分）に対処する上で困難を抱えています。現時点では、変数の型がsib_syntax.mlで、このように定義されています。ここ

type s_var = 
    { s_var_name: string; 
     s_var_type: s_type; } 

はsib_parser.mlyです。私の質問は、どこでどのようにglobals、実際にはs_varのリストである変数の宣言をビルドするようにコンパイラに指示することができます。私は（など、terminated_bindings、binding、separated_nonempty_list）sib_parser.mlyの終わりに立石の一部を改良する必要があると思いますが、私は

は誰が助けることができるか...わからないのですか？どうもありがとうございました！その様子から、

Answer 1

、あなたの結合ルールでは、変数名のリストですidsへのアクセス権を持っているので、あなたは、例えば、書くことができます：

binding: 
    | ids = separated_nonempty_list(COMMA, IDENT) COLON INTEGER 
     { List.map (fun id -> { s_var_name = id ; s_var_type = St_int}) ids } 
    | ids = separated_nonempty_list(COMMA, IDENT) COLON BOOLEAN 
     { List.map (fun id -> { s_var_name = id ; s_var_type = St_bool}) ids } 

これはbindingルールのリターンになるだろうa s_var list。