vim - 在 vim 中使用 merlin 在 ocaml 中进行 coq 插件开发

Question

我用 opam 安装了 Coq，并想制作一个 Coq 插件。我设法使用 编译了一些插件示例coq_makefile，但如果我可以在 vim 中使用 merlin 来获取 Coq 库的类型信息和补全，那就太好了。

有没有办法可以将 Coq 库添加到 ocamlfind？

Answer 1

coq_makefile现在将为您生成一个 .merlin。只需键入

make .merlin

Answer 2

最后我自己回答了。只需要将 coq 的 cmi 文件的目录放在带有指令 B 的 .merlin 文件中

B path/to/coq/kernel
B path/to/coq/library
...

Answer 3

我不知道如何正确使用coq_makefile来做到这一点，@Nico Lehmann 的回答对我不起作用。

我的.merlin文件是：

FLG -rectypes
S /usr/lib/coq/**
B /usr/lib/coq/**

第一行很重要（我不知道这意味着什么）。当然，更改/usr/lib/为您的 coq 所在的路径。coqc -where您可以通过在命令行中运行来找到 coq 的位置。