AI导航网

技术频道

公众号推荐

微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦！

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

时间：2020-08-20分类：Vim作者：编程之家

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

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

解决方法

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

make .merlin

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请发送邮件至 [email protected] 举报，一经查实，本站将立刻删除。

相关推荐

linux -- 解决配置vim中文乱码的问题

解决方案：解决linux下vim乱码的情况：(修改vimrc的内容）全局的情况下：即所有用户都能用这个配置文件地址：/etc/vimrc在文件中添加：setfileencodings=utf-8,ucs-bom,gb18030,gbk,gb2312,cp936settermencoding=utf...

作者：编程之家时间：2022-10-14

Linuxvi/vim所有的UnixLike系统都会内建vi文书编辑器，其他的文书编辑器则不一定会存在。但是目前我们使用比较多的是vim编辑器。vim具有程序编辑的能力，可以主动的以字体颜色辨别语法的正确性，方便程序设计。相关文...

作者：编程之家时间：2022-10-14

vim正则匹配：空行：/^$/ /^[\t]*$/注释行：/^#/ /^[\t]*#/:1,$s/\([Rr]\)oot/\1ename/:1,$s/\(square\)and\(fair\)/\2and\1/

作者：编程之家时间：2022-10-14

crontab vim 模式

$select-editorSelectaneditor.Tochangelater,run'select-editor'.1./bin/ed2./binano<----easiest3./usr/bin/code4./usr/bin/vim.basic5./usr/bin/vim.tinyChoose1-5[2]:4

作者：编程之家时间：2022-10-14

manjaro kde 安装教程参考+备忘

上次手贱忘了保存，这次就简单做个备忘吧，把踩过的坑记一下预览图安装工具：u盘、manjarokdeminimal20.0.3、win32DiskImager提取码:qt9f进bios、选择u盘启动、改语言、改时区、挂载分区（文件系统ext4、在200M左右的...

作者：编程之家时间：2022-10-14

Linux之文本编译器小结vim的优势所有的UNIX-LIKE习通都会内置vi文本编译器，其他的文本编译器则不一定存在很多软件的编译接口都会主动调用vivim有很强的程序编译能力，可以主动的一字体颜色辨别语法的正确性，方便程...

作者：编程之家时间：2022-10-14

修改主机名字 (hostname)

主机名字太长,怎么修改? 1.sudovim/etc/hostname 修改内容为wel, 本地主机名 2.sudovim/etc/hosts 修改主机名为wel,用于网络连接中主机名的识别 3.reboot

作者：编程之家时间：2022-10-14

shell脚本空行造成“: not found.sh“报错的解决方法

目录#事故现场#事故原因#解决方法方法一：使用notepad转换方法二：使用vscode转换方法三：使用vim转换#参考#事故现场执行shell脚本文件，报错：:notfound.sh:6:coreinstall.sh:查看脚本文件第6行，发现是空行；#事故...

作者：编程之家时间：2022-10-14

Linux下如何退出vim的一些常用命令总结

1、保存并退出linux下安装好了vim以及gcc后，我们开始新建一个c文件，例如：vimtest.c之后进入vim的编辑框中，点击i进入插入模式，开始编辑程序，当你编写好自己的程序之后，按Esc退出插入编辑状态，然后输入冒号加w...

作者：编程之家时间：2022-10-14

VIM - 字数统计

概述使用VIM作简单字数统计背景想做一个简单的字数统计环境OSwin10shellmintty-2.9.41.需求概述需求需求统计文段内字符的数量支持自定义字符集2.方案1:vim自带统计概述vim自带方案操作定位到文段内某行vi

作者：编程之家时间：2022-10-14