■

http://morihyphen.hp.infoseek.co.jp/files/a24z-futon.tar.gz
CFG（のようなもの）ができたー

testToplev "module X; machine X { int x =8; if ( x ) { x=9; } else { x=10; } int y=800; }"

が、画像のやつ。
Haskellには、fglとかいうグラフライブラリがあって、インターフェースをそれに合わせてやれば、Graphvizのdotで出力ができるので、そこらへんで。全然文字が読めないけど。

Env.hsの状態っぷりがあいかわらずやばい。「コンパイルが通ればデバッグいらないぜー」なんて嘘っぱちだぜー。

で、次はどうしようか。ここまで辿り付いたのは始めてなので、途方に暮れはじめる。とりあえず、SSA形式に変換かな…