在vim中使用merlin进行ocaml中的coq插件开发

发布时间：2020-12-15 21:23:05 所属栏目：安全来源：网络整理

导读：我用opam安装了Coq,想要制作一个Coq插件.我设法使用coq_makefile编译一些插件示例,但如果我可以在 vim中使用merlin来获取Coq库的类型信息和完成,那将会很棒. 有没有办法可以将Coq库添加到ocamlfind中？解决方法 coq_makefile现在将为您生成.merlin.只需输入

我用opam安装了Coq,想要制作一个Coq插件.我设法使用coq_makefile编译一些插件示例,但如果我可以在 vim中使用merlin来获取Coq库的类型信息和完成,那将会很棒.

有没有办法可以将Coq库添加到ocamlfind中？

解决方法

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

make .merlin

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!