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.

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

UNIQUE constraint failed: lines.buffer_id, lines.line_num #625

Open
mrphil2105 opened this issue Mar 12, 2024 · 1 comment
Open

UNIQUE constraint failed: lines.buffer_id, lines.line_num #625

mrphil2105 opened this issue Mar 12, 2024 · 1 comment

Comments

@mrphil2105
Copy link

mrphil2105 commented Mar 12, 2024

I sometimes get an SQL related error when the menu is open:

UNIQUE constraint failed: lines.buffer_id, lines.line_num
Traceback (most recent call last):
  File "/home/mrphil2105/.local/share/nvim/lazy/coq_nvim/.vars/runtime/lib/python3.11/site-packages/pynvim_pp/logging.py", line 31, in suppress_and_log
    yield None
  File "/home/mrphil2105/.local/share/nvim/lazy/coq_nvim/coq/shared/runtime.py", line 240, in cont
    async for items, completion in aenumerate(
  File "/home/mrphil2105/.local/share/nvim/lazy/coq_nvim/.vars/runtime/lib/python3.11/site-packages/std2/aitertools.py", line 37, in aenumerate
    async for item in ait:
  File "/home/mrphil2105/.local/share/nvim/lazy/coq_nvim/coq/clients/buffers/worker.py", line 169, in _work
    for word in words:
  File "/home/mrphil2105/.local/share/nvim/lazy/coq_nvim/coq/clients/buffers/db/database.py", line 203, in words
    _setlines(
  File "/home/mrphil2105/.local/share/nvim/lazy/coq_nvim/coq/clients/buffers/db/database.py", line 107, in _setlines
    cursor.executemany(sql("insert", "line"), m1())
sqlite3.IntegrityError: UNIQUE constraint failed: lines.buffer_id, lines.line_num

I just recently deleted the coq_nvim folder and ran COQdeps, but the error persists.
Please let me know if you need more information in order to fix this.
For reference, this is my COQ settings: lua/plugins/coq/config.lua

I think this might be related to #624. That issue is about the selection gets cleared, and sometimes the error comes up in connection with that.

@mrphil2105
Copy link
Author

Any update on this? This is still an issue and is very annoying.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant