diff options
Diffstat (limited to 'lua/lspconfig/lean3ls.lua')
| -rw-r--r-- | lua/lspconfig/lean3ls.lua | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lua/lspconfig/lean3ls.lua b/lua/lspconfig/lean3ls.lua index 083f4f0c..412f0ec7 100644 --- a/lua/lspconfig/lean3ls.lua +++ b/lua/lspconfig/lean3ls.lua @@ -1,15 +1,15 @@ -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) + 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 + if not util.path.is_file(root .. '/leanpkg.toml') then return end if not config.cmd_cwd then |