From ec11b85df73cce4edb2925cb7f1d0e8db3a07b1c Mon Sep 17 00:00:00 2001
From: Michael Lingelbach <m.j.lbach@gmail.com>
Date: Sat, 3 Jul 2021 14:45:08 -0700
Subject: ci: lint and format with stylua

---
 lua/lspconfig/leanls.lua | 28 +++++++++++++++-------------
 1 file changed, 15 insertions(+), 13 deletions(-)

(limited to 'lua/lspconfig/leanls.lua')

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
-- 
cgit v1.2.3-70-g09d2