如何在 Emacs 中为 Ocaml 生成和设置注释？

Question

我正在使用 Emacs 用 Ocaml 编写编译器。我听说使用 -annot 可以在编译时生成文件 .annot，这可以帮助 Emacs 显示我的代码的类型。但奇怪的是，运行这个makefile后没有生成.annot。谁能告诉我这有什么问题吗？

另外，一旦我获得了 .annot，我是否需要设置任何内容（例如 .emacs？）以便我的 Emacs 读取它并显示我的代码类型？

非常感谢！

Edit1：在 make clean 和 make 之后，我得到了 .annot...但我仍然不知道如何使用它Emacs 中的 .annot。

Edit2：实际上有必要遵循这个链接，复制文件在本地文件夹中，然后更新 .emacs。然后，当在 Emacs 中编辑 .ml 时，Cc Ct 从 .annot 返回其类型。

Answer 1

关于您的 emacs 查询——我不使用 emacs——，这是来自 ocamlc 的手册页，

-annot 转储有关编译的详细信息（类型、绑定、尾部调用等）。文件 src.ml 的信息被放入文件 src.annot 中。如果出现类型错误，请转储类型检查器在错误发生之前推断出的所有信息。 src.annot 文件可以与 emacs/caml-types.el 中给出的 emacs 命令一起使用，以交互方式显示类型和其他注释。

线程中还有其他工具我之前提到过。

至于 Makefile 没有创建 .annot 文件，我创建了一个模拟目录并成功创建了 .annot 文件。我也没有发现你的Makefile有什么问题。您可能想要清理目录并重试，或者切换到另一种方式来构建您的工具，例如 ocamlbuild ——这需要最少的设置，不过，我还没有将它与 menhir 一起使用。

我还要指出 -annot 是新的自 OCaml 3.11.0 起，之前的标志为 -dtypes。