dotfiles/dot_config/nvim/coc-settings.json

{
    "python.jediEnabled": false,
    "python.venvFolders": ["~/.local/share/virtualenvs"],
    "rust-analyzer.diagnostics.disabled": ["unresolved-proc-macro"],
    "languageserver": {
        "ocaml-lsp": {
            "command": "opam",
            "args": ["config", "exec", "--", "ocamllsp"],
            "filetypes": ["ocaml", "reason"]
        },
        "haskell": {
            "command": "ghcide",
            "args": [
                "--lsp"
            ],
            "rootPatterns": [
                ".stack.yaml",
                ".hie-bios",
                "BUILD.bazel",
                "cabal.config",
                "package.yaml"
            ],
            "filetypes": [
                "hs",
                "lhs",
                "haskell"
            ]
        },
        "fstar": {
            "command": "fstar.exe",
            "args": ["--lsp"],
            "rootPatterns": [],
            "trace.server": "verbose",
            "filetypes": ["fst", "fsti"]
        }
    }
}