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

COQ exited -1 on nvim launch #615

Open
oc-tk opened this issue Jan 24, 2024 · 1 comment
Open

COQ exited -1 on nvim launch #615

oc-tk opened this issue Jan 24, 2024 · 1 comment

Comments

@oc-tk
Copy link

oc-tk commented Jan 24, 2024

Trying to setup COQ with rustaceanvim + lspconfig.
I was able to run :COQdep and update all and I cannot run :COQnow
My config
I just want to have rust LSP + autocompletion but I am utter noob if we are talking about configuring nvim.

Traceback (most recent call last):
  File "<frozen runpy>", line 198, in _run_module_as_main
  File "<frozen runpy>", line 88, in _run_code

  File "C:\Users\TK\AppData\Local\nvim-data\lazy\coq_nvim\coq\__main__.py", line 175, in <module>
    arun(init(args.socket, ppid=args.ppid))
  File "C:\Python312\Lib\asyncio\runners.py", line 194, in run
    return runner.run(main)
           ^^^^^^^^^^^^^^^^
  File "C:\Python312\Lib\asyncio\runners.py", line 118, in run
    return self._loop.run_until_complete(task)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Python312\Lib\asyncio\base_events.py", line 684, in run_until_complete
    return future.result()
           ^^^^^^^^^^^^^^^
  File "C:\Users\TK\AppData\Local\nvim-data\lazy\coq_nvim\coq\client.py", line 72, in init
    stk = await stack()
          ^^^^^^^^^^^^^
  File "C:\Users\TK\AppData\Local\nvim-data\lazy\coq_nvim\coq\server\runtime.py", line 128, in stack

    idb = IDB()
          ^^^^^
  File "C:\Users\TK\AppData\Local\nvim-data\lazy\coq_nvim\coq\databases\insertions\database.py", line 41, in __init__
    self._conn: Connection = self._ex.ssubmit(_init)
                             ^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Users\TK\AppData\Local\nvim-data\lazy\coq_nvim\coq\shared\executor.py", line 48, in ssubmit

    result = cast(_T, fut.result())
                      ^^^^^^^^^^^^
  File "C:\Python312\Lib\concurrent\futures\_base.py", line 456, in result

    return self.__get_result()

           ^^^^^^^^^^^^^^^^^^^
  File "C:\Python312\Lib\concurrent\futures\_base.py", line 401, in __get_result

    raise self._exception
  File "C:\Users\TK\AppData\Local\nvim-data\lazy\coq_nvim\coq\shared\executor.py", line 35, in cont

    ret = f(*args, **kwargs)

          ^^^^^^^^^^^^^^^^^^
  File "C:\Users\TK\AppData\Local\nvim-data\lazy\coq_nvim\coq\databases\insertions\database.py", line 33, in _init

    conn.executescript(sql("create", "pragma"))

sqlite3.OperationalError: near ".": syntax error


COQ EXITED - 1
@DanielMichel305
Copy link

Did you manage to fix it? I'm getting the exact same error.

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

2 participants