From 193dd018cb1de11cf631e2349d5abb4bb0a83069 Mon Sep 17 00:00:00 2001 From: Gorgeous-Patrick <33488623+Gorgeous-Patrick@users.noreply.github.com> Date: Mon, 24 Oct 2022 02:26:01 -0400 Subject: feat: Dafny support (#2193) * feat: add dafny support * feat: fix dafny lsp * style: coding style fixed * fix: a better way of single file mode * fix: possible windows compatibility * fix: typo in dotnet * fix: path to dll removed * feat: a probably better doc for dafny language server plugin * fix(dafny): lua syntax error Co-authored-by: Raphael Co-authored-by: Raphael --- lua/lspconfig/server_configurations/dafny.lua | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 lua/lspconfig/server_configurations/dafny.lua (limited to 'lua') diff --git a/lua/lspconfig/server_configurations/dafny.lua b/lua/lspconfig/server_configurations/dafny.lua new file mode 100644 index 00000000..cbd4bbed --- /dev/null +++ b/lua/lspconfig/server_configurations/dafny.lua @@ -0,0 +1,20 @@ +local util = require 'lspconfig.util' + +return { + default_config = { + filetypes = { 'dfy', 'dafny' }, + root_dir = function(fname) + util.find_git_ancestor(fname) + end, + single_file_support = true, + }, + docs = { + description = [[ + NeoVim support for the Dafny language server. + Please follow the instructions and compile the language server from source: + https://github.com/dafny-lang/language-server-csharp + + Note that there is no default cmd set. You must set it yourself. The recommended way is to use `{"dotnet", ""}`. +]], + }, +} -- cgit v1.3.1