From 7e7a2f3c4b26be058c335b97fd9da11ae55a8266 Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Sun, 27 Jun 2021 08:12:59 +0200
Subject: improve(lean3ls): increase the default memory and timeout limits

Matches our VSCode's default found here:

https://github.com/leanprover/vscode-lean/blob/ca764c60acbfaeaca55a681bc0be65f84b0cae44/package.json#L32-L41
---
 lua/lspconfig/lean3ls.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lua')

diff --git a/lua/lspconfig/lean3ls.lua b/lua/lspconfig/lean3ls.lua
index 9f03cf2a..9280c3f0 100644
--- a/lua/lspconfig/lean3ls.lua
+++ b/lua/lspconfig/lean3ls.lua
@@ -3,7 +3,7 @@ local util = require 'lspconfig/util'
 
 configs.lean3ls = {
   default_config = {
-    cmd = {"lean-language-server", "--stdio"};
+    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)
-- 
cgit v1.2.3-70-g09d2