5

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

我的构建结构是：

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

3 回答 3

2

我认为您无法轻松配置此功能：查看 ocaml 安装文件中的caml-types-locate-type-file功能。caml-types.el

这是搜索.annot文件的功能。您可能可以编辑它以替换"_build"（这是ocamlbuild放置生成的文件的位置）obj并完成。

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

于 2011-02-15T15:01:49.053 回答
0

以下代码对我来说就足够了：它创建了一个新的自定义变量（我没有绑定到自定义组，但如果你愿意，你可以），然后使用该变量作为要搜索的目录列表。

(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))))))
于 2012-01-16T23:35:38.670 回答
0 
# 软链接 .annot 文件，以便 Emacs 的 tuareg-mode 可以找到它们
mkdir -p _build
for f in `find lib/obj -name *.annot` ; 执行 ln -s ../$f _build/ ；完毕
于 2014-03-17T05:18:41.963 回答