When updating Coq, Opening a New NVim Instance Freezes

Open 9p4 opened this issue 1 year ago • 4 comments

After I update Neovim/Coq via Nix, the Coq daemon starts and gets stuck in an uninterruptible sleep state and freezes the editor on the next launch. Killing the offending daemon (ps + kill) makes the editor work again. Quitting the editor and relaunching has Coq working normally.

Jul 28 '24 19:07 9p4

After killing Coq, I get this in Neovim:

Error executing vim.schedule lua callback: Invalid channel: 4                                   
stack traceback:                                                                                
        [C]: at 0x00632ec0                                                                      
        ...ack-dir/pack/myNeovimPackages/start/coq_nvim/lua/coq.lua:129: in function <...ack-dir
/pack/myNeovimPackages/start/coq_nvim/lua/coq.lua:117>                                          
        ...ack-dir/pack/myNeovimPackages/start/coq_nvim/lua/coq.lua:136: in function ''         
        vim/_editor.lua: in function ''                                                         
        vim/_editor.lua: in function <vim/_editor.lua:0>                                        
Press ENTER or type command to continue                                                         
Error detected while processing FocusGained Autocommands for "*":                               
E5108: Error executing lua Invalid channel: 4                                                   
stack traceback:                                                                                
        [C]: in function 'On_focus'                                                             
        [string ":lua"]:1: in main chunk                                                        
Press ENTER or type command to continue                                                         
Error detected while processing FocusGained Autocommands for "*":                               
E5108: Error executing lua Invalid channel: 4                                                   
stack traceback:                                                                                
        [C]: in function 'On_focus'                                                             
        [string ":lua"]:1: in main chunk                                                        
Press ENTER or type command to continue

Sep 17 '24 18:09 9p4

Can be reliably reproduced by deleting ~/.cache/nvim

Sep 17 '24 20:09 9p4

I have encountered this too (on NixOS/Nix also), I have killed the python process via SIGQUIT which made it do a coredump, recovered it, and put it through pystack to give the python backtrace.

Not sure it is that helpful, because of asyncio

Full stack trace, with system libraries

Using executable found in the core file: /nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/bin/python3.12

Core file information:
state: D zombie: True niceness: 0
pid: 3316319 ppid: 3316316 sid: 3316319
uid: 1000 gid: 1000 pgrp: 3316319
executable: python3.12 arguments: /nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/bin/python3.12 -s -u

The process died due receiving signal SIGQUIT sent by pid 3272790
Traceback for thread 3316365 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316364 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316363 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316362 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316361 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316360 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316359 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316358 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316357 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316356 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316355 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316354 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316352 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316351 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316350 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316348 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316347 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316346 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316345 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316344 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316343 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316342 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316341 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316340 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316339 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316338 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316337 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316334 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in _worker
        work_item = work_queue.get(block=True)

Traceback for thread 3316333 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <lambda>
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

Traceback for thread 3316332 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <lambda>
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

Traceback for thread 3316331 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <lambda>
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1986, in _run_once
        handle._run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/events.py", line 88, in _run
        self._context.run(self._callback, *self._args)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/clients/snippet/worker.py", line 45, in cont
        self._db.populate(path, mtime=mtime, loaded=loaded)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/clients/snippet/db/database.py", line 79, in populate
        cursor.execute(


Traceback for thread 3316330 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <lambda>
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

Traceback for thread 3316329 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <lambda>
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

Traceback for thread 3316328 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <lambda>
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

Traceback for thread 3316327 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <lambda>
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

Traceback for thread 3316326 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <lambda>
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

Traceback for thread 3316325 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <lambda>
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

Traceback for thread 3316324 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <lambda>
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

Traceback for thread 3316323 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <lambda>
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

Traceback for thread 3316320 [] (most recent call last):
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in _bootstrap
        self._bootstrap_inner()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in _bootstrap_inner
        self.run()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in run
        self._target(*self._args, **self._kwargs)
    (Python) File "/nix/store/18scr3q2jc169whd8hlca2cbfyhwrw1j-python3-3.12.5-env/lib/python3.12/site-packages/pynvim_pp/nvim.py", line 285, in <lambda>
        th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

Traceback for thread 3316319 [] (most recent call last):
    (Python) File "<frozen runpy>", line 198, in _run_module_as_main
    (Python) File "<frozen runpy>", line 88, in _run_code
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/__main__.py", line 180, in <module>
        arun(init(args.socket, ppid=args.ppid, th=th))
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in run
        return runner.run(main)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in run
        return self._loop.run_until_complete(task)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in run_until_complete
        self.run_forever()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in run_forever
        self._run_once()
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in _run_once
        event_list = self._selector.select(timeout)
    (Python) File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in select
        fd_event_list = self._selector.poll(timeout, max_ev)

And with Python system libraries elided (probably more helpful)

❯ ./result/bin/pystack core coq.core
Core file information:
state: D zombie: True niceness: 0
pid: 3316319 ppid: 3316316 sid: 3316319
uid: 1000 gid: 1000 pgrp: 3316319
The process died due receiving signal SIGQUIT sent by pid 3272790
Traceback for thread 3316365 [] (most recent call last): ...
Traceback for thread 3316364 [] (most recent call last): ...
Traceback for thread 3316363 [] (most recent call last): ...
Traceback for thread 3316362 [] (most recent call last): ...
Traceback for thread 3316361 [] (most recent call last): ...
Traceback for thread 3316360 [] (most recent call last): ...
Traceback for thread 3316359 [] (most recent call last): ...
Traceback for thread 3316358 [] (most recent call last): ...
Traceback for thread 3316357 [] (most recent call last): ...
Traceback for thread 3316356 [] (most recent call last): ...
Traceback for thread 3316355 [] (most recent call last): ...
Traceback for thread 3316354 [] (most recent call last): ...
Traceback for thread 3316352 [] (most recent call last): ...
Traceback for thread 3316351 [] (most recent call last): ...
Traceback for thread 3316350 [] (most recent call last): ...
Traceback for thread 3316348 [] (most recent call last): ...
Traceback for thread 3316347 [] (most recent call last): ...
Traceback for thread 3316346 [] (most recent call last): ...
Traceback for thread 3316345 [] (most recent call last): ...
Traceback for thread 3316344 [] (most recent call last): ...
Traceback for thread 3316343 [] (most recent call last): ...
Traceback for thread 3316342 [] (most recent call last): ...
Traceback for thread 3316341 [] (most recent call last): ...
Traceback for thread 3316340 [] (most recent call last): ...
Traceback for thread 3316339 [] (most recent call last): ...
Traceback for thread 3316338 [] (most recent call last): ...
Traceback for thread 3316337 [] (most recent call last): ...
Traceback for thread 3316334 [] (most recent call last): ...


Traceback for thread 3316333 [] (most recent call last):
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in 
        self._th = Thread(daemon=True, target=lambda: run(cont()))


Traceback for thread 3316332 [] (most recent call last):
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in 
        self._th = Thread(daemon=True, target=lambda: run(cont()))


Traceback for thread 3316331 [] (most recent call last):
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in 
        self._th = Thread(daemon=True, target=lambda: run(cont()))

    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/clients/snippet/worker.py", line 45, in cont
        self._db.populate(path, mtime=mtime, loaded=loaded)
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/clients/snippet/db/database.py", line 79, in populate
        cursor.execute(


Traceback for thread 3316330 [] (most recent call last):
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in 
        self._th = Thread(daemon=True, target=lambda: run(cont()))


Traceback for thread 3316329 [] (most recent call last):
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in 
        self._th = Thread(daemon=True, target=lambda: run(cont()))


Traceback for thread 3316328 [] (most recent call last):
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in 
        self._th = Thread(daemon=True, target=lambda: run(cont()))


Traceback for thread 3316327 [] (most recent call last):
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in 
        self._th = Thread(daemon=True, target=lambda: run(cont()))


Traceback for thread 3316326 [] (most recent call last):
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in 
        self._th = Thread(daemon=True, target=lambda: run(cont()))


Traceback for thread 3316325 [] (most recent call last):
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in 
        self._th = Thread(daemon=True, target=lambda: run(cont()))


Traceback for thread 3316324 [] (most recent call last):
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in 
        self._th = Thread(daemon=True, target=lambda: run(cont()))


Traceback for thread 3316323 [] (most recent call last):
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in 
        self._th = Thread(daemon=True, target=lambda: run(cont()))


Traceback for thread 3316320 [] (most recent call last):
    (Python) File "/nix/store/18scr3q2jc169whd8hlca2cbfyhwrw1j-python3-3.12.5-env/lib/python3.12/site-packages/pynvim_pp/nvim.py", line 285, in 
        th = Thread(daemon=True, target=lambda: run(cont()))


Traceback for thread 3316319 [] (most recent call last):
    (Python) File "", line 198, in _run_module_as_main
    (Python) File "", line 88, in _run_code
    (Python) File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/__main__.py", line 180, in 
        arun(init(args.socket, ppid=args.ppid, th=th))
    ...

Oct 21 '24 17:10 KoviRobi

I've just uninstalled coq and I'm using nvim without any completion now.

Oct 21 '24 19:10 9p4