OCaml 4 に付属する compiler-libs を使うと、以前より手軽に OCaml コンパイラを改造することができます。(できないこともありますが)https://bitbucket.org/camlspotter/compiler-libs-hackに、SML スタイルの多重定義を実現するコードと解説記事を置いて…