在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路径/到/ coq /库 ...

Answer 3

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

我的.merlin文件是：

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

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