Using neovim 0.10-devon Mac with Coq, and something crashes after a while and I get a heap of errors that look like this:
Error executing lua Invalid channel: 7
Vim(lua):E5108: Error executing lua Invalid channel: 7
stack traceback:
[C]: in function 'Ft_changed'
[string ":lua"]:1: in main chunk
Invalid channel: 7
Error executing vim.schedule lua callback: CompleteDone Autocommands for "*": Vim(lua):E5108: Error executing lua Invalid channel: 7
stack traceback:
[C]: in function 'Kill_win'
[string ":lua"]:1: in main chunk
[C]: in function 'complete'
...y/.local/share/nvim/lazy/coq_nvim/lua/coq/completion.lua:22: in function <...y/.local/share/nvim/lazy/coq_nvim/lua/coq/completion.lua:4>
The stack trace for all messages is a little different, except for the Invalid channel bit. I am not 100% certain if this is coming from Coq but I can't recall it being triggered if I don't invoke :COQnow. Restarting my editor fixes it for a while and then it happens again. Any ideas? Thanks!
Using
neovim 0.10-dev
on Mac with Coq, and something crashes after a while and I get a heap of errors that look like this:The stack trace for all messages is a little different, except for the
Invalid channel
bit. I am not 100% certain if this is coming from Coq but I can't recall it being triggered if I don't invoke:COQnow
. Restarting my editor fixes it for a while and then it happens again. Any ideas? Thanks!