仅键入检查Ocaml文件

Question

我想知道是否可以只输入一个ml文件？更准确地说，我的文件a.ml取决于b.cmi。我怎样才能只检查a.ml？请注意，我没有b.cmo，只有b.cmi。

Answer 1

ocamlc -i a.ml应该有效;它还返回推断的接口。

请注意，即使您没有b.cmo，也可以使用a.ml完全编译 ocamlc -c a.ml（这是单独编译的内容）。