Skip to content

Commit

Permalink
[fix] fix koka language server
Browse files Browse the repository at this point in the history
  • Loading branch information
MangoIV committed Jun 21, 2024
1 parent 6806370 commit 50686bb
Showing 1 changed file with 6 additions and 19 deletions.
25 changes: 6 additions & 19 deletions lua/lspconfig/server_configurations/koka.lua
Original file line number Diff line number Diff line change
@@ -1,36 +1,23 @@
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' },
cmd = { 'koka', '--language-server', '--lsstdio' },
filetypes = { 'kk' },
single_file_support = true,
root_dir = function(fname)
return util.root_pattern(unpack(root_files))(fname) or util.find_git_ancestor(fname)
return util.find_git_ancestor(fname)
end,
single_file_support = true,
capabilities = default_capabilities,
},
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]],
},
},
}

0 comments on commit 50686bb

Please sign in to comment.