diff options
Diffstat (limited to 'lua/lspconfig/lean3ls.lua')
| -rw-r--r-- | lua/lspconfig/lean3ls.lua | 28 |
1 files changed, 15 insertions, 13 deletions
diff --git a/lua/lspconfig/lean3ls.lua b/lua/lspconfig/lean3ls.lua index 9280c3f0..083f4f0c 100644 --- a/lua/lspconfig/lean3ls.lua +++ b/lua/lspconfig/lean3ls.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.lean3ls = { default_config = { - cmd = {"lean-language-server", "--stdio", "--", "-M", "4096", "-T", "100000" }; - filetypes = {"lean3"}; + cmd = { "lean-language-server", "--stdio", "--", "-M", "4096", "-T", "100000" }, + filetypes = { "lean3" }, 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/lean-client-js/tree/master/lean-language-server @@ -26,10 +28,10 @@ Once Lean is installed, you can install the Lean 3 language server by running ```sh npm install -g lean-language-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 |