Implement setIpkg LSP command; Add config option to run the LSP serve…

…r configured with a specified ipkg file

lua/idris2/init.lua

@@ -44,6 +44,12 @@ end
 
 local function setup_lsp()
 	local root_dir_error = function(startpath)
+
+		-- If ipkg file is specified in the user config, assume default startpath
+		if config.options.ipkg then
+		  return startpath
+		end
+
 		local path = nvim_lsp.util.root_pattern("*.ipkg")(startpath)
 		if path ~= nil then
 			return path
@@ -57,7 +63,17 @@ local function setup_lsp()
 			vim.log.levels.WARN
 		)
 	end
-	local server = vim.tbl_deep_extend("force", config.options.server, { root_dir = root_dir_error })
+
+	-- If ipkg file is specified in user config, pass it down to lspconfig as idris2-lsp command argument
+	local cmd
+	if config.options.ipkg
+	then
+	  cmd = { "idris2-lsp", config.options.ipkg }
+	else
+	  cmd = { "idris2-lsp" }
+	end
+
+	local server = vim.tbl_deep_extend("force", config.options.server, { cmd = cmd, root_dir = root_dir_error })
 	nvim_lsp.idris2_lsp.setup(server)
 
 	-- Goto... commands may jump to non package-local files, e.g. base or contrib

lua/idris2/set_ipkg.lua

@@ -0,0 +1,8 @@
+local M = {}
+
+-- Send "setIpkg" command to LSP
+function M.send(ipkg)
+  vim.lsp.buf_request(0, 'workspace/executeCommand', {command = "setIpkg", arguments = {ipkg}}, function() end)
+end
+
+return M