coq_nvim
coq_nvim copied to clipboard
ms-jpq
No completion
So the plugin just stopped working today.
I have the same config I had when it was working fine. I guess it happened after some of the package updates. I'm on nvim nightly and pulled and rebuilt latest, after it broke but still. Tried reinstalling all plugins after rm -rf on packer/opt (I lazy load) but no luck.
version info:
NVIM v0.6.0-dev+274-g6188926e0
Build type: RelWithDebInfo
LuaJIT 2.1.0-beta3
Compilation: /usr/bin/cc -DNVIM_TS_HAS_SET_MATCH_LIMIT -O2 -g -Og -g -Wall -Wextra -pedantic \
-Wno-unused-parameter -Wstrict-prototypes -std=gnu99 -Wshadow -Wconversion -Wmissing-prototypes \
-Wimplicit-fallthrough -Wvla -fstack-protector-strong -fno-common -fdiagnostics-color=always \
-DINCLUDE_GENERATED_DECLARATIONS -D_GNU_SOURCE -DNVIM_MSGPACK_HAS_FLOAT32 \
-DNVIM_UNIBI_HAS_VAR_FROM -DMIN_LOG_LEVEL=3 -I/home/miki/Downloads/neovim/build/config -I/home \
/miki/Downloads/neovim/src -I/home/miki/Downloads/neovim/.deps/usr/include -I/usr/include \
-I/home/miki/Downloads/neovim/build/src/nvim/auto -I/home/miki/Downloads/neovim/build/include
help me, pls!
i do not get completion anymore. neither auto nor with <C-space>.
since i can get omnifunc to give me completions i guess lsp works? im not sure how to tell. sry for my ignorance
that's unusual, does things like :COQstats work as well?
if those don't work then something is really wrong with the installation.
can you please pull from master and try that :D
thanks!
both i guess, its really weird issue though, can you also run it with COQ_DEBUG=1
you should see something like this
I am interested if you are receiving nvim_buf_lines_event or not
heres what i got after pulling master
TIME -- <> When_idle :: 683us @ 618us
1 line less; before #1 23:22:51
1 line less; before #1 23:22:51
TIME -- <> nvim_buf_changedtick_event :: 51us @ 51us
TIME -- <> nvim_buf_lines_event :: 24ms @ 23ms
TIME -- <> nvim_buf_lines_event :: 26ms @ 24ms
TIME -- IDLE :: TAGS :: 85s @ 48s
Already at oldest change
TIME -- TS :: 60s @ 13s
TIME -- IDLE :: TMUX :: 60s @ 24s
TIME -- TS :: 42s @ 17s
TIME -- TS :: 32s @ 19s
TIME -- <> Insert_enter :: 4ms @ 2ms
TIME -- <> Buf_enter :: 2ms @ 1ms
TIME -- <> Ts_notify :: 503us @ 605us
TIME -- <> nvim_buf_lines_event :: 124ms @ 32ms
TIME -- TS :: 99ms @ 17s
TIME -- <> Ts_notify :: 727us @ 619us
TIME -- <> nvim_buf_lines_event :: 11ms @ 30ms
TIME -- TS :: 534ms @ 15s
TIME -- IDLE :: TMUX :: 534ms @ 18s
TIME -- **OVERALL** :: 788ms @ 788ms
TIME -- <> nvim_buf_lines_event :: 10ms @ 29ms
TIME -- IDLE :: TAGS :: 669ms @ 32s
TIME -- <> nvim_buf_lines_event :: 13ms @ 28ms
TIME -- <> nvim_buf_lines_event :: 1ms @ 26ms
TIME -- <> nvim_buf_lines_event :: 12ms @ 25ms
TIME -- <> nvim_buf_lines_event :: 19ms @ 25ms
TIME -- <> Omnifunc :: 151us @ 172us
TIME -- <> Omnifunc :: 214us @ 183us
TIME -- <> Kill_win :: 2ms @ 2ms
TIME -- <> Comp_done :: 87us @ 88us
TIME -- <> Kill_win :: 3ms @ 2ms
1 line less; before #2 10 seconds ago
1 line less; before #2 10 seconds ago
TIME -- <> nvim_buf_changedtick_event :: 56us @ 54us
TIME -- <> nvim_buf_lines_event :: 12ms @ 24ms
TIME -- <> nvim_buf_lines_event :: 14ms @ 24ms
oh wow all the WORKER -- ... are missing, those are the sources!
thats so weird
I am also facing the same issue :(
NVIM v0.6.0-dev
Build type: Release
LuaJIT 2.1.0-beta3
Compiled by nixbld
Features: +acl +iconv +tui
See ":help feature-compile"
system vimrc file: "$VIM/sysinit.vim"
fall-back for $VIM: "
/nix/store/p0j1rqjciirvc0dsv7c1yz1wx6jalr6v-neovim-unwrapped-master/share/nvim
"
Run :checkhealth for more info
well it is fixed for me after using impatient and config from kyoto.nvim
On a sidenote: Thank you so much for this fast as FUCKKKKKKK plugin. It is surely out of this world
I have the same issue, too. But it can run well on my other computer with the same configuration file and system.
Here are my log and coq_settings.All of my config is in this rope https://user-images.githubusercontent.com/63000762/135721340-8888f24a-01f1-4e5b-a33b-54d637a2eb17.mp4
vim.g.coq_settings = {
["keymap.recommended"] = false,
["auto_start"] = true,
["clients.tabnine.enabled"] = true,
["keymap.manual_complete"] = "<C-p>"
}
TIME -- <> Launch_loop :: 541us @ 541us
TIME -- <> Listener :: 6ms @ 6ms
TIME -- IDLE :: TMUX :: 54ms @ 54ms
TIME -- <> Ft_changed :: 17ms @ 17ms
TIME -- <> Load_snips :: 566us @ 566us
TIME -- <> Update_pumheight :: 9ms @ 9ms
π π€ π£ π π₯ π HalΓ²
TIME -- <> Now :: 857us @ 857us
TIME -- <> Insert_enter :: 400us @ 400us
TIME -- <> Buf_enter :: 7ms @ 7ms
TIME -- <> Insert_enter :: 478us @ 439us
TIME -- <> Buf_enter :: 2ms @ 4ms
TIME -- <> Ts_notify :: 520us @ 520us
TIME -- <> Ts_notify :: 269us @ 395us
TIME -- <> nvim_buf_lines_event :: 175ms @ 175ms
TIME -- TS :: 204ms @ 204ms
TIME -- TS :: 199ms @ 201ms
TIME -- IDLE :: TAGS :: 639ms @ 639ms
TIME -- <> nvim_buf_lines_event :: 131ms @ 153ms
TIME -- LOAD SNIPS :: 1s @ 1s
TIME -- <> nvim_buf_lines_event :: 6ms @ 104ms
TIME -- <> nvim_buf_lines_event :: 22ms @ 83ms
TIME -- <> nvim_buf_lines_event :: 31ms @ 73ms
TIME -- <> nvim_buf_lines_event :: 18ms @ 64ms
TIME -- <> nvim_buf_lines_event :: 14ms @ 57ms
TIME -- <> nvim_buf_lines_event :: 8ms @ 51ms
TIME -- <> nvim_buf_lines_event :: 9ms @ 46ms
TIME -- <> nvim_buf_lines_event :: 7ms @ 42ms
TIME -- <> Omnifunc :: 85us @ 85us
TIME -- <> Omnifunc :: 190us @ 137us
TIME -- <> Lsp_notify :: 9ms @ 9ms
TIME -- <> Lsp_notify :: 361us @ 5ms
TIME -- <> Lsp_notify :: 247us @ 3ms
TIME -- <> Kill_win :: 2ms @ 2ms
TIME -- <> Comp_done :: 91us @ 91us
TIME -- <> Kill_win :: 4ms @ 3ms
TIME -- <> Insert_enter :: 1ms @ 776us
TIME -- <> Buf_enter :: 2ms @ 3ms
TIME -- <> Ts_notify :: 503us @ 431us
TIME -- <> nvim_buf_lines_event :: 15ms @ 40ms
TIME -- CACHE -- GET :: 8s @ 8s
TIME -- CACHE -- GET :: 8s @ 8s
TIME -- TS :: 553ms @ 319ms
TIME -- INTERRUPT !! BUFFERS :: 68ms @ 68ms
TIME -- INTERRUPT !! TREESITTER :: 70ms @ 70ms
TIME -- INTERRUPT !! SNIPPETS :: 73ms @ 73ms
TIME -- INTERRUPT !! TAGS :: 73ms @ 73ms
TIME -- <> nvim_buf_lines_event :: 3ms @ 37ms
TIME -- <> nvim_buf_lines_event :: 13ms @ 35ms
TIME -- <> nvim_buf_lines_event :: 8ms @ 33ms
TIME -- <> nvim_buf_lines_event :: 16ms @ 32ms
TIME -- **OVERALL** :: 168ms @ 168ms
I was having the same issues after an update. Coq stopped working at all, same symptoms as shown above. Currently using neovim version v0.6.0 from git. Also, reverting back to v0.5 didn't fixed the issues. After some trial and error, looking at sources, i tracked it down to the coq.thirdparty source. Disabling that source makes coq work again. I'm using this simple configuration, it works for me:
vim.g.coq_settings = {
['auto_start'] = 'shut-up',
['clients.third_party.enabled']=false,
}
