在vim中使用merlin在ocaml中开发coq插件
在vim中使用merlin在ocaml中开发coq插件
提问于 2015-04-14 01:30:40
我安装了Coq与opam，并想做一个Coq插件。我成功地使用coq_makefile编译了一些插件示例，但是如果我能够在vim中使用merlin来获得类型信息和Coq库的完成，那就太好了。
我是否可以将Coq库添加到ocamlfind中？
回答 3
Stack Overflow用户
回答已采纳
发布于 2017-07-19 07:31:05
coq_makefile现在将为您生成一个.merlin。只是打字
make .merlinStack Overflow用户
发布于 2015-05-12 01:30:16
最后，我回答了自己。只需将coq的cmi文件的目录与指令B放在.merlin文件中即可。
B path/to/coq/kernel
B path/to/coq/library
...Stack Overflow用户
发布于 2019-11-19 10:56:05
我不知道如何正确地使用coq_makefile来做这件事，@Nico的回答对我没有用。
我的.merlin文件是：
FLG -rectypes
S /usr/lib/coq/**
B /usr/lib/coq/**第一行很重要的地方(我不知道它是什么意思)。当然，将/usr/lib/更改为coq所在的路径。您可以通过在命令行中运行coqc -where来查找coq位置。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/29617717
复制相关文章
相似问题
腾讯云开发者
