在 vim 中使用 merlin 在 ocaml 中开发 coq 插件
Using merlin in vim for coq plugin development in ocaml
我用 opam 安装了 Coq，想做一个 Coq 插件。我设法使用 coq_makefile 编译了一些插件示例，但如果我可以在 vim 中使用 merlin 来获取 Coq 库的类型信息和补全，那就太好了。
有没有办法将 Coq 库添加到 ocamlfind？
终于我自己回答了。只需要将 coq 的 cmi 文件的目录放在带有指令 B
的 .merlin 文件中
B path/to/coq/kernel
B path/to/coq/library
...
coq_makefile 现在将为您生成一个 .merlin。只需输入
make .merlin
我不知道如何正确使用 coq_makefile 来做到这一点，@Nico Lehmann 的回答对我不起作用。
我的 .merlin 文件是：
FLG -rectypes
S /usr/lib/coq/**
B /usr/lib/coq/**
第一行很重要（我不知道它是什么意思）。当然把/usr/lib/改成你的coq所在的路径。你可以在命令行中通过运行 coqc -where找到coq位置。
我用 opam 安装了 Coq，想做一个 Coq 插件。我设法使用 coq_makefile 编译了一些插件示例，但如果我可以在 vim 中使用 merlin 来获取 Coq 库的类型信息和补全，那就太好了。
有没有办法将 Coq 库添加到 ocamlfind？
终于我自己回答了。只需要将 coq 的 cmi 文件的目录放在带有指令 B
的 .merlin 文件中B path/to/coq/kernel
B path/to/coq/library
...
coq_makefile 现在将为您生成一个 .merlin。只需输入
make .merlin
我不知道如何正确使用 coq_makefile 来做到这一点，@Nico Lehmann 的回答对我不起作用。
我的 .merlin 文件是：
FLG -rectypes
S /usr/lib/coq/**
B /usr/lib/coq/**
第一行很重要（我不知道它是什么意思）。当然把/usr/lib/改成你的coq所在的路径。你可以在命令行中通过运行 coqc -where找到coq位置。