Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

When updating Coq, Opening a New NVim Instance Freezes #653

Open
9p4 opened this issue Jul 28, 2024 · 4 comments
Open

When updating Coq, Opening a New NVim Instance Freezes #653

9p4 opened this issue Jul 28, 2024 · 4 comments

Comments

@9p4
Copy link

9p4 commented Jul 28, 2024

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.
@9p4
Copy link
Author

9p4 commented Sep 17, 2024

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

@9p4
Copy link
Author

9p4 commented Sep 17, 2024

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

@KoviRobi
Copy link

KoviRobi commented Oct 21, 2024 •
edited
Loading

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))
    ...

@9p4
Copy link
Author

9p4 commented Oct 21, 2024

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@KoviRobi @9p4