Config: How to disable stan plugin

[andys8]

Hey there, it's either currently not possible or I don't know how to exactly disable the stan plugin.

• Config is "stan": { "globalOn": false }
• Docs don't list stan plugin
• The default configuration (haskell-language-server-wrapper generate-default-config) doesn't have an entry for stan.

Is globalOn respected for this plugin?

Vim

Still enabled, but expected to be off

CLI

Still enabled, but expected to be off

Additional context

haskell-language-server-wrapper --probe-tools
haskell-language-server version: 1.8.0.0 (GHC: 9.2.4) (PATH: /home/andreas/.ghcup/bin/haskell-language-server-wrapper-1.8.0.0)
Tool versions found on the $PATH
cabal:          3.8.1.0
stack:          2.7.5
ghc:            9.2.4

Tool versions in your project
ghc:            8.10.7

[kokobd]

I'm not familiar with the dynamic config, but you can add --constraint "haskell-language-server -stan" to your cabal command if you were building HLS from source. In this way, stan plugin will be disabled at compile time.

[andys8]

I'm indeed compiling hls from scratch with ghcup compile hls and thanks for the hint. But I'm less interested in "fixing" this for me but to make sure configuration is working as expected for the project. Therefore I'm wondering if it can currently be disabled (like other plugins) and why it's missing in the documentation.

[pepeiborra]

Have you tried "haskell.plugin.span.globalOn": false ?

[andys8]

The config format would not be the format generate-default-config suggests, but I'm having trouble to find any variant of configuration that has an effect. I'm starting to have doubts regarding the whole editor configuration I'm using.

Could you point me to documentation showing how to configure Vim with Coc with plugin options?

• CoC's example has no options
• Haskell language server documentation has no options

---

[AnthonySuper]

I am also experiencing this issue.

COC config:

{
  "languageserver": {
    "haskell": {
      "command": "haskell-language-server-wrapper",
      "args": ["--lsp"],
      "rootPatterns": ["*.cabal", "stack.yaml", "cabal.project", "package.yaml", "hie.yaml"],
      "filetypes": ["haskell", "lhaskell"],
      "settings": {
        "languageServerHaskell": {
          "plugin": {
            "stan": {
              "globalOn": false
            }
          }
        }
      }
    }
  }
}

If I change it to:

{
  "languageserver": {
    "haskell": {
      "command": "haskell-language-server-wrapper",
      "args": ["--lsp"],
      "rootPatterns": ["*.cabal", "stack.yaml", "cabal.project", "package.yaml", "hie.yaml"],
      "filetypes": ["haskell", "lhaskell"],
      "settings": {
        "languageServerHaskell": {
          "plugin": {
            "stan": {
              "globalOn": false
            },
            "tactics": { "globalOn": false }
          }
        }
      }
    }
  }
}

Wingman is disabled. This suggests to me that the configuration is working, there's just no way to turn off stan.

The stan plugin also seems to be ignoring my .stan.toml file, for what it's worth.

[drewolson]

I'm experiencing the same issue -- no way to disable nor configure stan.

[pepeiborra]

Found the bug - Stan diagnostics should be gated in the same way that hlint are:

https://github.com/haskell/haskell-language-server/blob/master/plugins/hls-hlint-plugin/src/Ide/Plugin/Hlint.hs#L199-L205

[andys8]

Update: Not relevant for stan issue, but I figured out my configuration needed to switch to settings andys8/dotfiles@b2f5763