構文木を見て良く分かりましたが、 代入の表現 X := A も全体として値 A を持つ訳ですね。 またAssignmentNode>>emitValue:が何をしているのか調べていて VariableDefinitionから下の継承木の多彩さに驚きました。 才川隆文