>>972
一番簡単なのは test.ml をコンパイルしてしまうことです。それなら
動きますよ、多分。その方が早いし。

シェルスクリプトになってしまう理由は謎。だれか教えてプリーズ。
こっちの環境では ./test.ml で実行しようとしても sh として
実行されてしまった。
strace ./test.ml とすると、execve で Exec format error と
言われてこけてしまっているみたい。分かったのはそれだけ。