我可以使用ocamlc -bin-annot选项来获取.cmt文件，文档告诉我它可以“以二进制格式转储有关编译的详细信息（类型，绑定，尾调用等）”。 / p>
那么如何使用此.cmt文件？我在网上找不到信息，我认为我可以继续使用.cmt文件得到.cmo文件或.out文件？但直接使用ocamlc test.cmt失败。 那么如何使用cmt文件呢？谢谢！
答案 0 :(得分：2)
二进制注释文件（也称为.cmt文件）是文件的类型树的二进制表示（以及更多数据）。基本上，它们是用于希望检查代码而无需自己分析和键入文件的工具。
作为一个例子，我相信很棒的工具merlin会检查.cmt文件是否存在，并使用它们执行其多项任务（打印类型，自动完成等）。
如果您没有为OCaml编写工具，则尝试使用这些文件没有任何意义。如果您正在编写工具，欢迎来到编译器内部的美好世界，在该世界中文档几乎可以阅读代码。
据我所知，目前尚无关于编译.cmt文件的讨论（尽管实现起来并不难）。通常，没有太多理由这样做。