Coqtail: NeoVim does not work with CoqTail
I use NeoVim, here’s version details:
NVIM v0.4.3
Build type: RelWithDebInfo
LuaJIT 2.0.5
Compilation: /usr/bin/gcc-5 -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=1 -O2 -g -DMIN_LOG_LEVEL=3 -Og -g -Wall -Wextra -pedantic -Wno-unused-parameter -Wstrict-prototypes -std=gnu99 -Wshadow -Wconversion -Wmissing-prototypes -Wvla -fstack-protector-strong -fdiagnostics-color=auto -DINCLUDE_GENERATED_DECLARATIONS -D_GNU_SOURCE -DNVIM_MSGPACK_HAS_FLOAT32 -DNVIM_UNIBI_HAS_VAR_FROM -I/home/travis/build/neovim/bot-ci/build/neovim/build/config -I/home/travis/build/neovim/bot-ci/build/neovim/src -I/home/travis/build/neovim/bot-ci/build/neovim/.deps/usr/include -I/usr/include -I/home/travis/build/neovim/bot-ci/build/neovim/build/src/nvim/auto -I/home/travis/build/neovim/bot-ci/build/neovim/build/include
Compiled by travis@travis-job-9a287301-34f2-4b86-92e3-462594f51f36
Features: +acl +iconv +tui
See ":help feature-compile"
system vimrc file: "$VIM/sysinit.vim"
fall-back for $VIM: "
/home/travis/build/neovim/bot-ci/build/neovim/build/nvim.AppDir/usr/share/nvim
"
Run :checkhealth for more info
I am not sure what I am missing. I just installed Coq with Vim Plug (and then did :PlugInstall) and created an empty .v file and ran :CoqStart on it. But it’s stuck for more than a minute. I am not sure if it’s intended?
(I can share more logs/debug info but I am not sure how to)
About this issue
- Original URL
- State: closed
- Created 4 years ago
- Comments: 18 (12 by maintainers)
Thanks for reporting, unfortunately Coqtail doesn’t currently support NeoVim (see #68, #13), but I’m working on an update that will make it work (#74). I’ll leave this issue open and close it when I finish the update so you get pinged when it’s ready.
Thanks for the offer and for your interest. I’m hoping to get a start on this this weekend and once it’s mostly working what would be really helpful is if you could help beta test it by just trying to use it. And if you’re interested in working on the code too I’ll try to keep an eye out for smaller tasks that would be manageable without having to learn the whole codebase at once.
Thanks, there are still a couple remaining things I need to fix/implement before NeoVim really works, but I’m fairly confident that with the recent restructuring they should be pretty straightforward and I can have them out soon.
…I don’t think I’m fully awake yet. I ran
:PlugInstallinstead of:PlugUpdate.Seems to be working well; async also seems to be working too. I’ll be using it a bit this weekend, will let you know if I encounter any weird issues.
So it’s ready for testing right now? 🙂
Edit: I’m using it right now. Seems to be working fine thus far.
I’d be willing to beta-test as well 😄
let me know if there’s anything I can do to help. I haven’t had much experience with developing vim plugins, but I know Python and a little vimscript. I love using your plugin and would love to help develop/maintain it how I can.