O'Caml 3.09.3
-rectypesで無限ループになるバグが直ったとかなんとか
# let rec print_int_ln x = print_int x; print_newline(); print_int_ln;; val print_int_ln : int -> 'a as 'a = <fun> # print_int_ln 1 2 3 4 5;; 1 2 3 4 5 - : int -> 'a as 'a = <fun>
windows用バイナリもあるのにダウンロードページは放置中。
http://caml.inria.fr/pub/distrib/ocaml-3.09/ocaml-3.09.3-win-mgw.exe
http://caml.inria.fr/pub/distrib/ocaml-3.09/ocaml-3.09.3-win-msvc.exe