SML vs Ocaml for ECMA script spec.