A simple Neovim client for coq-lsp
.
Plug 'neovim/nvim-lspconfig'
Plug 'whonore/Coqtail' " for ftdetect, syntax, basic ftplugin, etc
Plug 'tomtomjhj/coq-lsp.nvim'
...
" Don't load Coqtail
let g:loaded_coqtail = 1
let g:coqtail#supported = 0
" Setup coq-lsp.nvim
lua require'coq-lsp'.setup()
:CoqLsp
command
:CoqLsp open_info_panel
: Open the info panel for the current buffer.:CoqLsp saveVo
: Save the .vo
file for the current buffer.:LspRestart
to restart coq-lsp
.require'coq-lsp'.setup {
-- The configuration for coq-lsp.nvim.
-- The following is the default configuration.
coq_lsp_nvim = {
-- to be added
},
-- The configuration forwarded to `:help lspconfig-setup`.
-- The following is an example.
lsp = {
on_attach = function(client, bufnr)
-- your mappings, etc
end,
-- coq-lsp server initialization configurations, defined here:
-- https://github.com/ejgallego/coq-lsp/blob/main/editor/code/src/config.ts#L3
-- Documentations are at https://github.com/ejgallego/coq-lsp/blob/main/editor/code/package.json.
init_options = {
show_notices_as_diagnostics = true,
},
autostart = false, -- use this if you want to manually launch coq-lsp with :LspStart.
},
}
NOTE:
Do not call lspconfig.coq_lsp.setup()
yourself.
require'coq-lsp'.setup
does it for you.
vscoqtop
client.