aboutsummaryrefslogtreecommitdiffstats
path: root/lua
diff options
context:
space:
mode:
authorMango The Fourth <40720523+MangoIV@users.noreply.github.com>2024-06-21 12:41:16 +0200
committerGitHub <noreply@github.com>2024-06-21 18:41:16 +0800
commit6ee0c6c23e635374be91f204914b91926085a7ca (patch)
tree134569faabe36ed93eb860947894cec9fc72f19a /lua
parentdocs: update server_configurations.md (diff)
downloadnvim-lspconfig-6ee0c6c23e635374be91f204914b91926085a7ca.tar
nvim-lspconfig-6ee0c6c23e635374be91f204914b91926085a7ca.tar.gz
nvim-lspconfig-6ee0c6c23e635374be91f204914b91926085a7ca.tar.bz2
nvim-lspconfig-6ee0c6c23e635374be91f204914b91926085a7ca.tar.lz
nvim-lspconfig-6ee0c6c23e635374be91f204914b91926085a7ca.tar.xz
nvim-lspconfig-6ee0c6c23e635374be91f204914b91926085a7ca.tar.zst
nvim-lspconfig-6ee0c6c23e635374be91f204914b91926085a7ca.zip
fix(koka): fix koka language server config (#3213)
Diffstat (limited to 'lua')
-rw-r--r--lua/lspconfig/server_configurations/koka.lua27
1 files changed, 6 insertions, 21 deletions
diff --git a/lua/lspconfig/server_configurations/koka.lua b/lua/lspconfig/server_configurations/koka.lua
index 63f38386..c754b2f8 100644
--- a/lua/lspconfig/server_configurations/koka.lua
+++ b/lua/lspconfig/server_configurations/koka.lua
@@ -1,36 +1,21 @@
local util = require 'lspconfig.util'
-local root_files = {}
-
-local default_capabilities = {
- textDocument = {
- completion = {
- editsNearCursor = true,
- },
- },
- offsetEncoding = { 'utf-8' },
-}
-
return {
default_config = {
- cmd = { 'koka', '--language-server' },
- filetypes = { 'kk' },
- root_dir = function(fname)
- return util.root_pattern(unpack(root_files))(fname) or util.find_git_ancestor(fname)
- end,
+ cmd = { 'koka', '--language-server', '--lsstdio' },
+ filetypes = { 'koka' },
single_file_support = true,
- capabilities = default_capabilities,
+ root_dir = util.find_git_ancestor,
},
- commands = {},
+
docs = {
description = [[
https://koka-lang.github.io/koka/doc/index.html
Koka is a functional programming language with effect types and handlers.
]],
default_config = {
- root_dir = [[
- ]],
- capabilities = [[default capabilities, with offsetEncoding utf-8]],
+ root_dir = [[git directory]],
+ capabilities = [[default capabilities]],
},
},
}