From 287a62910a60029e9a1901fa664968b6a9ffddd9 Mon Sep 17 00:00:00 2001
From: Fabian <copy@copy.sh>
Date: Fri, 22 Oct 2021 10:42:22 +0200
Subject: feat: add fstar language server (#1280)

---
 lua/lspconfig/fstar.lua | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 lua/lspconfig/fstar.lua

(limited to 'lua')

diff --git a/lua/lspconfig/fstar.lua b/lua/lspconfig/fstar.lua
new file mode 100644
index 00000000..8618e070
--- /dev/null
+++ b/lua/lspconfig/fstar.lua
@@ -0,0 +1,21 @@
+local configs = require 'lspconfig/configs'
+local util = require 'lspconfig/util'
+
+configs.fstar = {
+  default_config = {
+    cmd = { 'fstar.exe', '--lsp' },
+    filetypes = { 'fstar' },
+    root_dir = util.root_pattern '.git',
+  },
+  docs = {
+    description = [[
+https://github.com/FStarLang/FStar
+
+LSP support is included in FStar. Make sure `fstar.exe` is in your PATH.
+```
+    ]],
+    default_config = {
+      root_dir = [[root_pattern(".git")]],
+    },
+  },
+}
-- 
cgit v1.2.3-70-g09d2