如何在tuareg-mode emacs中指定注释文件的自定义路径？

Question

在emacs中使用tuareg-mode时，有没有指定annot文件的路径？我试图找出我的函数的类型，但模式报告“不是注释文件”。

我的构建结构是：

lib 
 obj
  *.o
  *.cmi
  *.cmx
  *.annot
 src
  *.ml
  *.mli

Answer 1

我不认为您可以轻松地对此进行配置:查看ocaml安装的caml-types.el文件中的caml-types-locate-type-file函数。

这是搜索.annot文件的函数。您可能可以对其进行编辑，将"_build" ( ocamlbuild将生成的文件放在其中)替换为obj并完成此操作。

更好的选择是在.emacs.el中定义一个变量，并在caml-types.el文件中使用它。这样，你甚至可以向ocaml人推荐补丁。

Answer 2

下面的代码对我来说就足够了:它创建一个新的自定义变量(我还没有绑定到自定义组，但如果您愿意，也可以)，然后将该变量用作要搜索的目录列表。

(defcustom caml-types-annot-directories-search
  '("_build" "obj" "../obj")
  "List of directories to search for .annot files"
  :type '(repeat string)
)
(defun or-list (f lst)
  (if (null lst) nil
    (if (apply f (car lst) nil)
        (car lst)
        (or-list f (cdr lst)))))

(add-hook 'tuareg-mode-hook
          (lambda ()
            (defun caml-types-locate-type-file (target-path)
              (let ((sibling (concat (file-name-sans-extension target-path) ".annot")))
                (if (file-exists-p sibling)
                    sibling
                  (let ((project-dir (file-name-directory sibling))
                        (test-dir (lambda (prefix)
                                    (message "Prefix is %s" prefix)
                                    (setq type-path
                                          (expand-file-name
                                           (file-relative-name sibling project-dir)
                                           (expand-file-name prefix project-dir)))
                                    (message "Testing %s" type-path)
                                    (file-exists-p type-path)))
                        type-path)
                    (while (not (or-list test-dir caml-types-annot-directories-search))
                      (if (equal project-dir (caml-types-parent-dir project-dir))
                          (error (concat "No annotation file. "
                                         "You should compile with option \"-annot\".")))
                      (setq project-dir (caml-types-parent-dir project-dir)))
                    type-path))))))