emacs - 图阿雷格模式和caml模式

Question

我目前正在使用 tuareg-mode，但我也希望能够使用 caml-mode 的功能。特别是我希望能够以交互方式使用类型注释，显然这发生在 caml 类型中。我试着把 http://cristal.inria.fr/~remy/poly/emacs/index.html在我的 .emacs.d 中，但我对这两种模式如何或是否可以一起工作感到困惑。事实上，我根本无法让 caml-mode 工作。

我的 init.el 中有这一行:

(add-to-list 'load-path "~/.emacs.d/modes/caml")

但是文件没有加载——至少没有函数定义或键绑定(bind)。我真的以为我开始掌握这些 emacs 插件是如何工作的，但我开始怀疑。也许有人可以解释还需要发生什么？

编辑:我没有意识到我必须 require 'caml为此工作。尽管如此，尽管我有来自 http://caml.inria.fr/svn/ocaml/branches/gadts/emacs/ 的 caml 类型，但注释似乎不起作用.我用 -annot 编译但我仍然被告知没有注释文件。

Answer 1

您可以使用 tuareg 模式进行类型注释。
如果我有这个确切的 ~/.emacs 文件:

(add-hook 'tuareg-mode-hook '(lambda ()
  (define-key tuareg-mode-map [f10] 'caml-types-show-type); requires caml-types
  ))
(add-to-list 'auto-mode-alist '("\\.ml\\w?" . tuareg-mode))
(autoload 'caml-types-show-type "caml-types" "Show the type of expression or pattern at point." t)

然后按 F10显示点下表达式的类型。
如您所知，您需要编译您的文件 foo.ml和

ocamlc -annot foo.ml

这样就有了文件 foo.annot在与 foo.ml 相同的目录中.