■

コンパイラにType.equalが無いと怒られたので、しかたがないのでType.equalを書いていたのだが、あまりのめんどくささに、なげだしたくなった。そもそも、どういてTypeの等値性のテストが要るんだ？ああ、そうか。多相型の定義にSetを使っているから、Pervasives.(=)だと比較できないのか…ていうか、多相型の比較する必要なんてないじゃん。TypeEnv.equalとか、いったいなにやってるんだか…orz。全部消そ。

Ctrl-k
Ctrl-k
Ctrl-k
Ctrl-k

あーーーーーーーっ！！！OUnitのテストに必要なんだった。テスト書くのを止めたくなるめんどくささだな。