Could be possible to use path autocompletion with fordwardslash, "/", instead of just with backslash, "" on Windows? I know that paths on Dos and on Unix like systems behave differently, but I was wondering if this was possible. I have no idea how the plugin works internally, so I don't know if what I'm asking for may be stupid.

Also, thank you, by the way. Your plugin runs fast as fuck on my 10 year old mini laptop and I really apreatte your effort for making that possible.

Expected When completing using . or ( we want to be in <inset-mode> one character to the right of the used completion key.

Actual We end up being in <insert-mode> in front of the completion character (to the left).

In the readme it shows following snippet.

local lsp = require "lspconfig"

lsp.<server>.setup(<stuff...>)                              -- before
lsp.<server>.setup(coq.lsp_ensure_capabilities(<stuff...>)) -- after

Apparently require('coq') is a function and what needs to be passed in to the function?

The speed is very very very fast! One side effect is the candidates popup is blinking on every key stroke.

The gif seems ok due to the compression...

Any chance to avoid it?

When you've chosen an autocomplete from the dropdown, that selection should be saved as part of the text change.

If I change the word created to delivered and after 2 characters of delivered, I select it from the dropdown, and then go to the next instance of created and press . , I'll get de added to the text.

Cheers.

After running COQnow i get this error. I'm running the latest version from the coq branch. I've tried reinstalling.

UNIQUE constraint failed: files.filename
Traceback (most recent call last):
  File "C:\Program Files\Neovim\share\nvim\plugged\coq_nvim\.vars\runtime\lib\site-packages\pynvim_pp\logging.py", line 31, in with_suppress
    yield None
  File "C:\Program Files\Neovim\share\nvim\plugged\coq_nvim\.vars\runtime\lib\site-packages\pynvim_pp\lib.py", line 43, in wrapper
    return await aw
  File "C:\Program Files\Neovim\share\nvim\plugged\coq_nvim\coq\clients\tags\worker.py", line 149, in _poll
    await self._misc.reconciliate(dead, new=new)
  File "C:\Program Files\Neovim\share\nvim\plugged\coq_nvim\coq\databases\tags\database.py", line 106, in reconciliate
    await run_in_executor(self._ex.submit, cont)
  File "C:\Program Files\Neovim\share\nvim\plugged\coq_nvim\.vars\runtime\lib\site-packages\std2\asyncio\_prelude.py", line 41, in run_in_executor
    return await loop.run_in_executor(None, cont)
  File "C:\Users\kirch\AppData\Local\Programs\Python\Python39\lib\concurrent\futures\thread.py", line 52, in run
    result = self.fn(*self.args, **self.kwargs)
  File "C:\Program Files\Neovim\share\nvim\plugged\coq_nvim\coq\shared\executor.py", line 33, in submit
    return cast(T, fut.result())
  File "C:\Users\kirch\AppData\Local\Programs\Python\Python39\lib\concurrent\futures\_base.py", line 445, in result
    return self.__get_result()
  File "C:\Users\kirch\AppData\Local\Programs\Python\Python39\lib\concurrent\futures\_base.py", line 390, in __get_result
    raise self._exception
  File "C:\Program Files\Neovim\share\nvim\plugged\coq_nvim\coq\shared\executor.py", line 24, in cont
    ret = f(*args, **kwargs)
  File "C:\Program Files\Neovim\share\nvim\plugged\coq_nvim\coq\databases\tags\database.py", line 103, in cont
    cursor.executemany(sql("insert", "file"), m1())
sqlite3.IntegrityError: UNIQUE constraint failed: files.filename

Yes, It's fast. But I still have some questions:

1. How to define user snippets?
2. How to auto expand completion on tab?
3. Relative path not starting with ./ can not trigger path completion. But <c-x><c-f> can. For example in home directory, type .config/ then <c-space> won't suggest paths.
4. Path completion does not work well with upper case character. For example ./.config/b suggests ./.config/BaiduPCS-Go/, but ./.config/B does not.
5. In python, <c-space> is needed when importing each package and the first two modules. For example from torch import abs, cuda. Can this be automaticly triggered.

Thanks!

First of all, thanks for the work done on this beautiful project.

I rely heavily on Vimtex for my academic writing and used it along Deoplete. Vimtex supports a lot of autocomplete plugins and has documentation for those, but coq is missing.

Do you know of a way of integrating the autocompletion of Vimtex into coq ?

Thank you !

Suggestions for import paths in Svelte files are incorrect.

I think it takes the reference of current working directory opened in Vim and puts it as reference for all nested files.

For example: c ( some other directory not in scope ) a ( present working directory ) b file1 ( import something from '../' will open suggestions for c folder because it takes a as the point of reference )

I hope I am correct about my thinking behind the error. From what I've seen it doesn't happen in regular typescript files.

Hello,

Following the recent commit I am now receiving "COQ EXITED -1" when starting coq.nvim on my Windows machine.

I was recently affected by issue #521 (cannot import name 'open_unix_connection' from 'asyncio') and so downgraded coq to the previous version via packer like so:

use({ 'ms-jpq/coq_nvim', commit = '84ec5faf2aaf49819e626f64dd94f4e71cf575bc' })

After I saw that that issue was fixed I upgraded to the most recent version again. When installed I get the prompt to install dependencies, which complete successfully before informing me that I can now use COQnow to start coq. However, whenever I try to start it I receive "COQ EXITED -1" . If I downgrade to the older commit again using the above packer command and install dependencies it starts working again.

Unfortunately I'm not too sure how to go about diagnosing this issue, hence raising the issue.

Thank you for your time and effort on this plugin.

I have updated the plugin to the latest version, and run :COQdeps on both my Windows desktop computer and my Ubuntu Laptop. In Ubuntu everything works as expected, but on Windows I found a problem: the snippets aren't being expanded.

1. Open any file with snippets for that filetype (for example, my init.lua).
2. Write a snippets to let coq autocomplete it (for example, if ).
3. Select the snippet with .
4. Press (or the equivalent key) to trigger the completion.

The result is the autocompletion menu being closed and the message Marks added: [-- body] [condition] being printed, but the snippets doesn't expand.

Notes:

• As I said, this just happens on Windows, not on Ubuntu.
• This doesn't happen if I select any other thing on the step 2 (keyword, text, function, etc), just with snippets.

When using coq with the sumneko/lua_language_server, I've been experiencing crashes when I write = in insert mode.

Traceback (most recent call last):
  File "/usr/lib/python3.10/runpy.py", line 196, in _run_module_as_main
    return _run_code(code, main_globals, None,
  File "/usr/lib/python3.10/runpy.py", line 86, in _run_code
    exec(code, run_globals)
  File "/home/phat_sumo/.local/share/nvim/site/pack/paqs/start/coq_nvim/coq/__main__.py",
line 173, in <module>
    arun(main())
  File "/usr/lib/python3.10/asyncio/runners.py", line 44, in run
    return loop.run_until_complete(main)
  File "/usr/lib/python3.10/asyncio/base_events.py", line 649, in run_until_complete
    return future.result()
  File "/home/phat_sumo/.local/share/nvim/site/pack/paqs/start/coq_nvim/coq/__main__.py",
line 171, in main
    await init(args.socket, ppid=args.ppid)
  File "/home/phat_sumo/.local/share/nvim/site/pack/paqs/start/coq_nvim/coq/client.py", li
ne 70, in init
    async with conn(socket, default=_default) as client:
  File "/usr/lib/python3.10/contextlib.py", line 206, in __aexit__
    await anext(self.gen)
  File "/home/phat_sumo/.local/share/nvim/site/pack/paqs/start/coq_nvim/.vars/runtime/lib/
python3.10/site-packages/pynvim_pp/nvim.py", line 249, in conn
    async with client(socket, default=default) as rpc:
  File "/usr/lib/python3.10/contextlib.py", line 206, in __aexit__
    await anext(self.gen)
  File "/home/phat_sumo/.local/share/nvim/site/pack/paqs/start/coq_nvim/.vars/runtime/lib/
python3.10/site-packages/pynvim_pp/rpc.py", line 253, in client
    await conn
  File "/home/phat_sumo/.local/share/nvim/site/pack/paqs/start/coq_nvim/.vars/runtime/lib/
python3.10/site-packages/pynvim_pp/rpc.py", line 143, in _connect
    await gather(rx(recv()), send())
  File "/home/phat_sumo/.local/share/nvim/site/pack/paqs/start/coq_nvim/.vars/runtime/lib/
python3.10/site-packages/pynvim_pp/rpc.py", line 188, in rx
    async for frame in rx:
  File "/home/phat_sumo/.local/share/nvim/site/pack/paqs/start/coq_nvim/.vars/runtime/lib/
python3.10/site-packages/pynvim_pp/rpc.py", line 140, in recv
    for frame in unpacker:
  File "msgpack/_unpacker.pyx", line 540, in msgpack._cmsgpack.Unpacker.__next__
  File "msgpack/_unpacker.pyx", line 463, in msgpack._cmsgpack.Unpacker._unpack
UnicodeDecodeError: 'utf-8' codec can't decode byte 0xa1 in position 5: invalid start byte

Relevant pieces of my conf:

-- auto-start coq
-- settings need to come before loading the plugin
vim.g.coq_settings = {
	auto_start = 'shut-up',
	keymap = {
		eval_snips = '<leader>j',
	},
	display = {
		preview = {
			border = border,
		},
		icons = {
			mode = "none",
		},
	},
}

local lsp = require('lspconfig')
local coq = require('coq')

lsp['sumneko_lua'].setup(
	coq.lsp_ensure_capabilities({
		on_attach = on_attach,
		flags = lsp_flags,
		settings = {
			Lua = {
				runtime = {
					-- Tell the language server which version of Lua you're using (most likely LuaJIT in the case of Neovim)
					version = 'LuaJIT',
				},
				diagnostics = {
					-- Get the language server to recognize the `vim` global
					globals = { 'vim' },
				},
				workspace = {
					-- Make the server aware of Neovim runtime files
					library = vim.api.nvim_get_runtime_file("", true),
					checkThirdParty = false,
				},
				-- Do not send telemetry data containing a randomized but unique identifier
				telemetry = {
					enable = false,
				},
			},
		},
	})
)

All it takes for me to reproduce this crash is having coq and nvim-lspconfig installed with config. When I try to modify my sumneko configuration (usually triggered on inserting =), I get the nasty stack trace from above. I've been stumped on this one for a bit. Any ideas about what might be causing it?

The LSP works fine, treesitter too, also coq_nvim [TS] and [SNIP], but coq_nvim [LSP] stuck the popup opened and I can't to close or select.

coq_nvim: latest and updated
NVIM v0.8.1
Build type: Release
LuaJIT 2.1.0-beta3
Compiled by linuxbrew@43b3775c8372
jdtls-launcher v1.2.0
equinox-launcher 1.6.400.v20210924-0641
jdtls-core 1.19.0.202212191235
lombok custom
openjdk 19.0.1 2022-10-18
OpenJDK Runtime Environment (build 19.0.1+10-21)
OpenJDK 64-Bit Server VM (build 19.0.1+10-21, mixed mode, sharing)

I get this error when updating COQ. I run it in neovim: v0.8.0-dev-1185-geb4844b5e-dirty and also tmux: next-3.4

Traceback (most recent call last):                                                                                                                                                                                                 
  File "/home/u009893/.local/share/nvim/site/pack/packer/start/coq-nvim/.vars/runtime/lib/python3.10/site-packages/pynvim_pp/logging.py", line 31, in suppress_and_log                                                             
    yield None                                                                                                                                                                                                                     
  File "/home/u009893/.local/share/nvim/site/pack/packer/start/coq-nvim/coq/clients/tmux/worker.py", line 39, in _poll                                                                                                             
    await self.periodical()                                                                                                                                                                                                        
  File "/home/u009893/.local/share/nvim/site/pack/packer/start/coq-nvim/coq/clients/tmux/worker.py", line 45, in periodical                                                                                                        
    current, panes = await snapshot(                                                                                                                                                                                               
  File "/home/u009893/.local/share/nvim/site/pack/packer/start/coq-nvim/coq/tmux/parse.py", line 107, in snapshot                                                                                                                  
    panes = await _panes(tmux, all_sessions=all_sessions)                                                                                                                                                                          
  File "/home/u009893/.local/share/nvim/site/pack/packer/start/coq-nvim/coq/tmux/parse.py", line 75, in _panes                                                                                                                     
    return tuple(cont())                                                                                                                                                                                                           
  File "/home/u009893/.local/share/nvim/site/pack/packer/start/coq-nvim/coq/tmux/parse.py", line 55, in cont                                                                                                                       
    (                                                                                                                                                                                                                              
ValueError: not enough values to unpack (expected 7, got 1)

When reverting to the dev branch i get the same error but it then expects 9 values to unpack.

Sometimes when accepting suggestions it expands into the wrong thing. Let's say I have a Vec in rust and want to call .into_iter() on it. When I start typing, the LSP correctly suggests it. Now when I accept the suggestion it does not expand it into .into_iter (which would be what I expect) but into .into_iter (as IntoIterator).

I'm using neovim 0.8 and this is my config:

vim.g.coq_settings = {
  auto_start = "shut-up",
  display = {
    ghost_text = {
      enabled = true
    },
    pum = {
      source_context = { "(", ")" }
    }
  },
  keymap = {
    recommended = false,
    manual_complete = "<C-Space>",
    jump_to_mark = "<C-j>",
    pre_select = true
  }
}

local coq_ok, coq = pcall(require, "coq")
if coq_ok then
  local autopairs_ok, autopairs = pcall(require, "nvim-autopairs")
  if autopairs_ok then
    vim.keymap.set("i", "<esc>", [[pumvisible() ? "<C-e><esc>" : "<esc>"]], { expr = true })
    vim.keymap.set("i", "<C-c>", [[pumvisible() ? "<C-e><C-c>" : "<C-c>"]], { expr = true })
    vim.keymap.set("i", "<Tab>", [[pumvisible() ? "<C-n>" : "<Tab>"]], { expr = true })
    vim.keymap.set("i", "<S-Tab>", [[pumvisible() ? "<C-p>" : "<bs>"]], { expr = true })

    vim.keymap.set("i", "<cr>", function()
      if vim.fn.pumvisible() ~= 0 then
        if vim.fn.complete_info({ "selected" }).selected ~= -1 then
          return autopairs.esc("<C-y>")
        else
          return autopairs.esc("<C-e>") .. autopairs.autopairs_cr()
        end
      else
        return autopairs.autopairs_cr()
      end
    end, { expr = true })
  else
    autopairs = {
      ["("] = ")",
      ["["] = "]",
      ["{"] = "}",
      ["\""] = "\"",
      ["'"] = "'",
      ["`"] = "`",
    }

    for k, v in pairs(autopairs) do
      vim.keymap.set("i", k, function()
        return k .. v .. "<Left>"
      end, { expr = true })
    end
  end
end

I tested it with and without nvim-autopairs installed. It doesn't seem to have any effect on the behavior. A full list of my plugins:

                packer.nvim - Total plugins: 21
 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
 • Comment.nvim
 • LuaSnip
 • catppuccin
 • coq.artifacts
 • coq.thirdparty
 • coq_nvim
 • feline.nvim
 • gitsigns.nvim
 • harpoon
 • impatient.nvim
 • mason.nvim
 • null-ls.nvim
 • nvim-lspconfig
 • nvim-treesitter
 • nvim-ts-autotag
 • nvim-web-devicons
 • packer.nvim
 • playground
 • plenary.nvim
 • telescope.nvim
 • vim-be-good

Im new to all this so if coq is not the issue just let me know.

Ive setup python, java, and c++ language servers and I dont get any errors but none seem to work as advertised in the readme.

Here is my config

I have the following for the server configs

export PATH="/home/mom/.local/share/java/language_servers/jdt-language-server-1.10.0-202203040350/bin:$PATH"
export JDTLS_JVM_ARGS="-javaagent:$HOME/.local/share/java/lombok.jar"

Ive got the python package for the c++ anakin-language-server and the pyright

Despite all that the templates are not filled out with any relevant info for any of the languages, they all look something like this.

Thanks in advance!

I want to choose this but I ideologically don't think that an nvim plugin should rely on python. seems better than cmp except for this; (also the reason I'm moving away from COC except with nodejs)

if you can find a way to replace the python dependency with lua it would be a more self-contained plugin