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

篇首语：本文由编程笔记#小编为大家整理，主要介绍了在Vim中使用merlin在ocaml中开发coq插件相关的知识，希望对你有一定的参考价值。

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

make .merlin


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

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


我不知道如何正确使用coq_makefile来执行此操作，@ Nico Lehmann的答案对我不起作用。

我的.merlin文件是：

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


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