昨日ダメだったパターンは全て大丈夫になってしまった…なんで?どこを変えたんだったか、Subversionでごたごたしてて全く覚えてない…自由変数の定義を直したのが良かった予感。

http://subtech.g.hatena.ne.jp/keyword/%e3%81%af%e3%81%a6%e3%81%aa%e9%9d%b4%e4%b8%8b%e6%ac%b2%e3%81%97%e3%81%84%21

Subversionが使えないのではなく、私が使えて無かっただけだった。orz

なにもしなくても、フォントがBoldになったりならなかったりするWindowsは偉大だなあと思った。Xで日本語フォントをBoldにするにはどうすれば良いんでしょう。IPAのやつです。

いや、Mapがpolymorphicになってるのが読みにくい原因じゃないだろうか。と思ったので、適当にMonomorphicなMapを定義しました。mli追放!!

あれだけ「型は書かない」と言っていたのに、*.mli書いてます。すごい敗北感。コンパイルエラーが読めなくって…