如何在Emacs中爲Ocaml生成和設置註釋？

Question

我寫在ocaml的編譯器使用Emacs。據我所知，有-annot文件.annot可以在編譯時，它可以幫助Emacs的展示我的代碼的類型生成。但運行此makefile後，生成.annot是很奇怪的。有誰能告訴我這有什麼問題嗎？

此外，一旦我得到.annot，是否需要設置任何東西（例如.emacs？），以便我的Emacs讀取它並顯示我的代碼類型？

非常感謝！

EDIT1：make clean和make後，我已經得到了.annot ...但我仍然不知道如何利用這個.annot在Emacs的。

EDIT2：實際上它是要遵循這個link，在本地文件夾中的文件複製，然後更新.emacs。然後，當一個.ml在Emacs被編輯時，C-C C-T返回從.annot其類型。

Answer 1

關於您的Emacs查詢 - 我不使用emacs--，這是從man-pages爲ocamlc，

-annot轉儲約彙編（類型，綁定尾通話的詳細信息，等等）。文件src.ml的信息被放入src.annot文件中。如果發生類型錯誤，請在錯誤發生前轉儲類型檢查器推斷的所有信息。 src.annot文件可以與emacs/caml-types.el中提供的emacs命令一起使用，以交互方式顯示類型和其他註釋。

還有其他工具the thread I mentioned previously。

至於Makefile不創建.annot文件，我做了一個模擬目錄，併成功地創建了.annot文件。我也沒有看到你的Makefile有什麼問題。您可能要清理的目錄，然後再試一次，或改用另一種方式來建立自己的工具，像ocamlbuild，可呈現將需要最少的設置，雖然我還沒有menhir使用它。

我也會注意到-annot is new since OCaml 3.11.0，在此之前該標誌爲-dtypes。