OCaml 4 に付属のコンパイラSDKでコンパイラを改造する

OCaml 4 に付属する compiler-libs を使うと、以前より手軽に OCaml コンパイラを改造することができます。(できないこともありますが)

https://bitbucket.org/camlspotter/compiler-libs-hack

に、SML スタイルの多重定義を実現するコードと解説記事を置いておきました。
英語なんですけど私が普段書いている英語なんてこんなもんです。