Merge pull request #157 from Jasagredo/jasagredo/add-stan-plugin

Add switch for Stan plugin
emacs-lsp · Jan 4, 2023 · 3249cde · 3249cde
2 parents c5d3bc2 + 2568a05
commit 3249cde
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/lsp-haskell.el b/lsp-haskell.el
@@ -136,6 +136,12 @@
  :group 'lsp-haskell-plugins
  :type 'boolean
  :lsp-path "haskell.plugin.retrie.globalOn")
+(defcustom-lsp lsp-haskell-plugin-stan-global-on
+ t
+ "Enables stan plugin"
+ :group 'lsp-haskell-plugins
+ :type 'boolean
+ :lsp-path "haskell.plugin.stan.globalOn")
 (defcustom-lsp lsp-haskell-plugin-tactics-global-on
  t
  "Enables Wingman (tactics) plugin"