続 Recursive module と class

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