diff options
Diffstat (limited to 'lua/lspconfig/leanls.lua')
| -rw-r--r-- | lua/lspconfig/leanls.lua | 28 |
1 files changed, 15 insertions, 13 deletions
diff --git a/lua/lspconfig/leanls.lua b/lua/lspconfig/leanls.lua index aa5153ca..946275dd 100644 --- a/lua/lspconfig/leanls.lua +++ b/lua/lspconfig/leanls.lua @@ -1,20 +1,22 @@ -local configs = require 'lspconfig/configs' -local util = require 'lspconfig/util' +local configs = require "lspconfig/configs" +local util = require "lspconfig/util" configs.leanls = { default_config = { - cmd = {"lean", "--server"}; - filetypes = {"lean"}; + cmd = { "lean", "--server" }, + filetypes = { "lean" }, root_dir = function(fname) - return util.root_pattern("leanpkg.toml")(fname) or util.find_git_ancestor(fname) or util.path.dirname(fname) - end; + return util.root_pattern "leanpkg.toml"(fname) or util.find_git_ancestor(fname) or util.path.dirname(fname) + end, on_new_config = function(config, root) - if not util.path.is_file(root .. "/leanpkg.toml") then return end + if not util.path.is_file(root .. "/leanpkg.toml") then + return + end if not config.cmd_cwd then config.cmd_cwd = root end - end; - }; + end, + }, docs = { description = [[ https://github.com/leanprover/lean4 @@ -24,10 +26,10 @@ Lean installation instructions can be found The Lean 4 language server is built-in with a Lean 4 install (and can be manually run with, e.g., `lean --server`). - ]]; + ]], default_config = { - root_dir = [[root_pattern("leanpkg.toml") or root_pattern(".git") or path.dirname]]; - }; - }; + root_dir = [[root_pattern("leanpkg.toml") or root_pattern(".git") or path.dirname]], + }, + }, } -- vim:et ts=2 sw=2 |