前にも書いた ocamlbuild の hygiene violation に関する問題の解決法が判ったのでメモしておく。OCaml を改造しようとする人以外は意味のない内容だ:新しいディレクトリを OCaml コンパイラソースに追加、そこで .ml ファイルをコンパイルする場合、ocamlbu…

日本のOCaml界(と限定するのは失礼か)のホープ Nさんから recursive module の typing のバグに関する情報を頂いた。現在の OCaml の recursive module の実装では再帰型に関するコンパチビリティーを調べる際の展開(folding)が不十分なのではないかとのこと…