在Vim中使用merlin在ocaml中开发coq插件

Question

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

是否可以将Coq库添加到ocamlfind？

Answer 1

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

make .merlin

Answer 2

最后，我回答了自己。仅需使用指令B

将coq的cmi文件的目录放在.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位置。