ms-jpq / coq_nvim

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
GNU General Public License v3.0
3.57k stars 99 forks source link

Weird error message when using Coq on Vimtex #671

Open ndrew222 opened 4 days ago

ndrew222 commented 4 days ago

I get this weird error that appears when the pop-up menu is supposed to show up. I'm not sure what I did, but it shows up a bit irregularly and only after a little bit of use.

I'm running Neovim 0.10.1 Vimtex v2.15 If there is anything else I can add to make this report more helpful, please let me know

Invalid channel: 4                                                                                                                                    
Error executing vim.schedule lua callback: Invalid channel: 4                                                                                         
stack traceback:                                                                                                                                      
        [C]: in function 'm'                                                                                                                          
        [string "<nvim>"]:30: in function <[string "<nvim>"]:29>                                                                                      
Error executing vim.schedule lua callback: CompleteDone Autocommands for "*": Vim(lua):E5108: Error executing lua Invalid channel: 4                  
stack traceback:                                                                                                                                      
        [C]: in function 'Kill_win'                                                                                                                   
        [string ":lua"]:1: in main chunk                                                                                                              
        [C]: in function 'complete'                                                                                                                   
        ...local/share/nvim/plugged/coq_nvim/lua/coq/completion.lua:22: in function <...local/share/nvim/plugged/coq_nvim/lua/coq/completion.lua:4>   
stack traceback:                                                                                                                                      
        [C]: in function 'complete'                                                                                                                   
        ...local/share/nvim/plugged/coq_nvim/lua/coq/completion.lua:22: in function <...local/share/nvim/plugged/coq_nvim/lua/coq/completion.lua:4>   

Traceback (most recent call last):                                                                                                                    
  File "<frozen runpy>", line 198, in _run_module_as_main                                                                                             
  File "<frozen runpy>", line 88, in _run_code                                                                                                        
  File "/home/andrew/.local/share/nvim/plugged/coq_nvim/coq/__main__.py", line 180, in <module>                                                       
    arun(init(args.socket, ppid=args.ppid, th=th))                                                                                                    
  File "/usr/lib/python3.11/asyncio/runners.py", line 190, in run                                                                                     
    return runner.run(main)                                                                                                                           
           ^^^^^^^^^^^^^^^^                                                                                                                           
  File "/usr/lib/python3.11/asyncio/runners.py", line 118, in run                                                                                     
    return self._loop.run_until_complete(task)                                                                                                        
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^                                                                                                        
  File "/usr/lib/python3.11/asyncio/base_events.py", line 653, in run_until_complete                                                                  
    return future.result()                                                                                                                            
           ^^^^^^^^^^^^^^^                                                                                                                            
  File "/home/andrew/.local/share/nvim/plugged/coq_nvim/coq/client.py", line 98, in init                                                              
    await gather(wrap_future(die), cont())                                                                                                            
  File "/home/andrew/.local/share/nvim/plugged/coq_nvim/coq/client.py", line 72, in cont
    async with conn(die, socket=socket, default=_default) as client:
  File "/usr/lib/python3.11/contextlib.py", line 211, in __aexit__
    await anext(self.gen)
  File "/home/andrew/.local/share/nvim/plugged/coq_nvim/.vars/runtime/lib/python3.11/site-packages/pynvim_pp/nvim.py", line 288, in conn
    await wrap_future(f2)
  File "/home/andrew/.local/share/nvim/plugged/coq_nvim/.vars/runtime/lib/python3.11/site-packages/pynvim_pp/nvim.py", line 273, in cont
    async with _conn() as rpc:
  File "/usr/lib/python3.11/contextlib.py", line 211, in __aexit__
    await anext(self.gen)
  File "/home/andrew/.local/share/nvim/plugged/coq_nvim/.vars/runtime/lib/python3.11/site-packages/pynvim_pp/nvim.py", line 257, in _conn
    async with client(
  File "/usr/lib/python3.11/contextlib.py", line 211, in __aexit__
    await anext(self.gen)
  File "/home/andrew/.local/share/nvim/plugged/coq_nvim/.vars/runtime/lib/python3.11/site-packages/pynvim_pp/_rpc.py", line 292, in client
    await conn
  File "/home/andrew/.local/share/nvim/plugged/coq_nvim/.vars/runtime/lib/python3.11/site-packages/pynvim_pp/_rpc.py", line 154, in _connect
    await gather(rx(recv()), send())
  File "/home/andrew/.local/share/nvim/plugged/coq_nvim/.vars/runtime/lib/python3.11/site-packages/pynvim_pp/_rpc.py", line 141, in send
    await writer.drain()
  File "/usr/lib/python3.11/asyncio/streams.py", line 378, in drain
    await self._protocol._drain_helper()
  File "/usr/lib/python3.11/asyncio/streams.py", line 167, in _drain_helper
    raise ConnectionResetError('Connection lost')
ConnectionResetError: Connection lost
Press ENTER or type command to continue