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 <glephunter@gmail.com>

Co-authored-by: Raphael <glephunter@gmail.com>

1 files changed, 20 insertions, 0 deletions

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", "<Path to your language server>"}`.
+]],
+  },
+}