ささだです。

　NODE_ITER 以下の構文木を見ていたんですが、


m{
  a = 1
  b = 2
  p 1
  c = 3
}

　をコンパイルすると、

node: NODE_ITER
nd_body:
  node: NODE_BLOCK
    node: NODE_DASGN_CURR
      node: NODE_DASGN_CURR
        node: NODE_DASGN_CURR
          (0 なので、暗黙に NODE_NIL が追加される）、つまり a=b=c=nil
    node: NODE_BLOCK
      node: NODE_DASGN_CURR
        node: NODE_LIT
      node: NODE_BLOCK
        node: NODE_DASGN_CURR
          node: NODE_LIT
        node: NODE_BLOCK
          node: NODE_FCALL
            node: NODE_ARRAY
              node: NODE_LIT
          node: NODE_BLOCK
            node: NODE_DASGN_CURR
              node: NODE_LIT
nd_iter:
  node: NODE_FCALL
nd_var:


のようなツリーを得ました。


　これを見てみると、そのブロック内でのブロックローカル変数は、
すべて一番最初に nil で初期化しているようです。


　たとえば、これを利用して、ブロック中のブロックローカル変数一覧を
構文木から得るとき、最初の NODE_DASGN_CURR のリストを見るだけ、とい
う手は使えるでしょうか。

　あと、nd_var の部分を見る必要があるとは思いますが。


--
ML: yarv-dev quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml