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

Question

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

此外，一旦我得到 .annot ，我是否需要设置任何东西(例如 .emacs ？)以便我的 Emacs 读取它并显示我的代码类型？

非常感谢你!

编辑 1:在 make clean 之后和 make , 我有 .annot ...但是我仍然不知道如何使用这个.annot在 Emacs 中。

Edit2:实际上有必要遵循 link ，复制本地文件夹中的文件，然后更新.emacs .那么当一个.ml在 Emacs 中编辑，C-c C-t 从 .annot 返回其类型.

Answer 1

关于您的 emacs 查询——我不使用 emacs——，这是来自 man-pages对于 ocamlc ,

-annot Dump detailed information about the compilation (types, bindings, tail-calls, etc). The information for file src.ml is put into file src.annot. In case of a type error, dump all the information inferred by the type-checker before the error. The src.annot file can be used with the emacs commands given in emacs/caml-types.el to display types and other annotations interactively.

the thread I mentioned previously 还有其他工具.

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

我还会注意到 -annot is new since OCaml 3.11.0 , 之前的标志是 -dtypes .