進捗: OCamlSpotter

変数について query を発した場合の、それを定義しているコードへのジャンプの可能性を考えている:

  • local variable : 場所が判っているので問題無し
  • global variable : stypes.ml の時点でモジュール名がフルパスで判っているし、.spot ではコンパイル時の includes を記録しているので、多分問題無し。.cmo 作成時かなにかにどの identifier が export されているのかを .spot に書く必要があるだろう。
  • local module や functor argument 中で定義されている identifier: 困った。これは stypes.ml では実装されていないので、考えないといけない。

svkcvs がミラーできるらしいので、 ocaml cvs をミラーしてみることにしよう。