diff options
| author | Julian Berman <Julian@GrayVines.com> | 2021-11-11 07:54:14 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-11 07:54:14 -0800 |
| commit | 831cb96f273d988fda84a80b9715e9d95309fc9a (patch) | |
| tree | ef6befadf6e026ac71629aebd51914765498705e /lua/lspconfig/leanls.lua | |
| parent | ci: add workflow that fails PRs with the word "dirname" in them (#1398) (diff) | |
| download | nvim-lspconfig-831cb96f273d988fda84a80b9715e9d95309fc9a.tar nvim-lspconfig-831cb96f273d988fda84a80b9715e9d95309fc9a.tar.gz nvim-lspconfig-831cb96f273d988fda84a80b9715e9d95309fc9a.tar.bz2 nvim-lspconfig-831cb96f273d988fda84a80b9715e9d95309fc9a.tar.lz nvim-lspconfig-831cb96f273d988fda84a80b9715e9d95309fc9a.tar.xz nvim-lspconfig-831cb96f273d988fda84a80b9715e9d95309fc9a.tar.zst nvim-lspconfig-831cb96f273d988fda84a80b9715e9d95309fc9a.zip | |
feat(leanls): lean 4 uses a new tool called lake now (#1390)
Diffstat (limited to 'lua/lspconfig/leanls.lua')
| -rw-r--r-- | lua/lspconfig/leanls.lua | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lua/lspconfig/leanls.lua b/lua/lspconfig/leanls.lua index cfefb808..0204c785 100644 --- a/lua/lspconfig/leanls.lua +++ b/lua/lspconfig/leanls.lua @@ -15,7 +15,9 @@ configs.leanls = { end end - return util.root_pattern 'leanpkg.toml'(fname) or stdlib_dir or util.find_git_ancestor(fname) + return util.root_pattern('lakefile.lean', 'lean-toolchain', 'leanpkg.toml')(fname) + or stdlib_dir + or util.find_git_ancestor(fname) end, single_file_support = true, on_new_config = function(config, root) @@ -39,7 +41,7 @@ that plugin fully handles the setup of the Lean language server, and you shouldn't set up `leanls` both with it and `lspconfig`. ]], default_config = { - root_dir = [[root_pattern("leanpkg.toml") or root_pattern(".git") or path.dirname]], + root_dir = [[root_pattern("lakefile.lean", "lean-toolchain", "leanpkg.toml", ".git")]], }, }, } |