fendor/vscode-haskell startup

gistfile1.txt

2023-12-06 17:55:40.8120000 [client] DEBUG Environment variables:
2023-12-06 17:55:40.8130000 [client] DEBUG   PATH: /Users/simon/.wasmedge/bin:/Users/simon/.wasmtime/bin:/Users/simon/adm/bin:/Users/simon/src/hledger/tools:/Users/simon/bin:/Users/simon/.ghcup/bin:/Users/simon/src/hledger/tools:/Users/simon/src/hledger/bin:/Users/simon/src/hledger/bin/old:/Users/simon/.local/bin:/Users/simon/.cabal/bin:/opt/homebrew/Cellar/janet/1.29.1/bin:/opt/homebrew/opt/make/libexec/gnubin:/opt/homebrew/opt/grep/libexec/gnubin:/opt/homebrew/opt/m4/bin:/opt/homebrew/opt/texinfo/bin:/opt/homebrew/sbin:/opt/homebrew/bin:/sbin:/usr/bin:/bin:/usr/sbin:/sbin:/Users/simon/.cargo/bin:/Users/simon/.deno/bin:/Users/simon/.go/bin:/Users/simon/.gem/ruby/2.6.0/bin:/Users/simon/clients/championwindows/bin:/Users/simon/clients/championwindows/systems
2023-12-06 17:55:40.8130000 [client] INFO Finding haskell-language-server
2023-12-06 17:55:40.8140000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:40.8170000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:40.8170000 [client] INFO Executing 'ghcup --no-verbose list -t hls -c installed -r' in cwd '/'
2023-12-06 17:55:41.5880000 [client] DEBUG Execution of 'ghcup --no-verbose list -t hls -c installed -r' terminated with code 0
2023-12-06 17:55:41.5880000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:41.5900000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:41.5910000 [client] INFO Executing 'ghcup --no-verbose list -t cabal -c installed -r' in cwd '/'
2023-12-06 17:55:41.6620000 [client] DEBUG Execution of 'ghcup --no-verbose list -t cabal -c installed -r' terminated with code 0
2023-12-06 17:55:41.6620000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:41.6640000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:41.6650000 [client] INFO Executing 'ghcup --no-verbose list -t stack -c installed -r' in cwd '/'
2023-12-06 17:55:41.8420000 [client] DEBUG Execution of 'ghcup --no-verbose list -t stack -c installed -r' terminated with code 0
2023-12-06 17:55:41.8500000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:41.8520000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:41.8520000 [client] INFO Executing 'ghcup --no-verbose whereis hls 2.5.0.0' in cwd '/'
2023-12-06 17:55:41.9980000 [client] DEBUG Execution of 'ghcup --no-verbose whereis hls 2.5.0.0' terminated with code 0
2023-12-06 17:55:42.0650000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:42.0760000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:42.0760000 [client] INFO Executing 'ghcup --no-verbose whereis cabal 3.10.2.0' in cwd '/'
2023-12-06 17:55:42.1040000 [client] DEBUG Execution of 'ghcup --no-verbose whereis cabal 3.10.2.0' terminated with code 0
2023-12-06 17:55:42.1040000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:42.1140000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:42.1150000 [client] INFO Executing 'ghcup --no-verbose whereis stack 2.13.1' in cwd '/'
2023-12-06 17:55:42.1810000 [client] DEBUG Execution of 'ghcup --no-verbose whereis stack 2.13.1' terminated with code 0
2023-12-06 17:55:42.1930000 [client] INFO Executing 'ghc --numeric-version' in cwd '/'
2023-12-06 17:55:42.3750000 [client] DEBUG Execution of 'ghc --numeric-version' terminated with code 0
2023-12-06 17:55:42.3890000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:42.3920000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:42.3920000 [client] INFO Executing 'ghcup --no-verbose run --hls 2.5.0.0 --cabal 3.10.2.0 --stack 2.13.1 --install' in cwd '/'
2023-12-06 17:55:42.6370000 [client] DEBUG Execution of 'ghcup --no-verbose run --hls 2.5.0.0 --cabal 3.10.2.0 --stack 2.13.1 --install' terminated with code 0
2023-12-06 17:55:42.6370000 [client] INFO Working out the project GHC version. This might take a while...
2023-12-06 17:55:42.6380000 [client] INFO Executing 'haskell-language-server-wrapper --project-ghc-version' in cwd '/Users/simon/src/DEVTOOLS/shelltestrunner'
2023-12-06 17:55:43.3310000 [client] DEBUG Execution of 'haskell-language-server-wrapper --project-ghc-version' terminated with code 1
2023-12-06 17:55:43.3310000 [client] ERROR Error executing 'haskell-language-server-wrapper --project-ghc-version' with error code 1
2023-12-06 17:55:43.3310000 [client] ERROR stderr: No 'hie.yaml' found. Try to discover the project type!
2023-12-06T17:55:42.779447Z | Debug | executing command: stack setup --silent
2023-12-06T17:55:42.961336Z | Debug | executing command: stack exec ghc -- --numeric-version

2023-12-06 17:55:43.3310000 [client] ERROR stdout: Failed to find the GHC version of this Stack project.
Error when calling stack exec ghc -- --numeric-version

Error: [S-6362]
No compiler found, expected minor version match with ghc-9.6.2 (aarch64) (based on resolver setting in /Users/simon/src/DEVTOOLS/shelltestrunner/stack.yaml).
To install the correct GHC into /Users/simon/.stack/programs/aarch64-osx/, try running 'stack setup' or use the '--install-ghc' flag. To use your system GHC installation, run 'stack config set system-ghc --global true', or use the '--system-ghc' flag.


2023-12-06 17:55:43.3310000 [client] ERROR Error: haskell-language-server --project-ghc-version exited with exit code 1:
Failed to find the GHC version of this Stack project.
Error when calling stack exec ghc -- --numeric-version

Error: [S-6362]
No compiler found, expected minor version match with ghc-9.6.2 (aarch64) (based on resolver setting in /Users/simon/src/DEVTOOLS/shelltestrunner/stack.yaml).
To install the correct GHC into /Users/simon/.stack/programs/aarch64-osx/, try running 'stack setup' or use the '--install-ghc' flag. To use your system GHC installation, run 'stack config set system-ghc --global true', or use the '--system-ghc' flag.


No 'hie.yaml' found. Try to discover the project type!
2023-12-06T17:55:42.779447Z | Debug | executing command: stack setup --silent
2023-12-06T17:55:42.961336Z | Debug | executing command: stack exec ghc -- --numeric-version

2023-12-06 17:55:43.3320000 [client] INFO Executing 'ghc --numeric-version' in cwd '/'
2023-12-06 17:55:43.3860000 [client] DEBUG Execution of 'ghc --numeric-version' terminated with code 0
2023-12-06 17:55:44.0570000 [client] INFO Platform constants: Darwin, A_ARM64
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 1.4.0 compatible with GHC Versions: 8.10.7
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 1.5.0 compatible with GHC Versions: 8.10.7
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 1.5.1 compatible with GHC Versions: 8.10.7
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 1.6.0.0 compatible with GHC Versions: 8.10.7
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 1.6.1.0 compatible with GHC Versions: 8.10.7
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 1.7.0.0 compatible with GHC Versions: 8.10.7,9.0.2,9.2.1,9.2.2
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 1.8.0.0 compatible with GHC Versions: 8.10.7,9.0.2,9.2.3,9.2.4,9.4.1,9.4.2
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 1.9.0.0 compatible with GHC Versions: 8.10.7,9.0.2,9.2.5,9.4.3,9.4.4
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 1.9.1.0 compatible with GHC Versions: 8.10.7,9.2.5,9.2.6,9.4.4
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 1.10.0.0 compatible with GHC Versions: 8.10.7,9.2.7,9.4.4,9.6.1
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 2.0.0.0 compatible with GHC Versions: 8.10.7,9.2.7,9.4.5,9.6.1
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 2.0.0.1 compatible with GHC Versions: 8.10.7,9.2.7,9.2.8,9.4.5,9.6.2
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 2.1.0.0 compatible with GHC Versions: 8.10.7,9.2.8,9.4.5,9.4.6,9.6.2
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 2.2.0.0 compatible with GHC Versions: 8.10.7,9.2.8,9.4.5,9.4.6,9.4.7,9.6.2
2023-12-06 17:55:44.0570000 [client] DEBUG HLS 2.3.0.0 compatible with GHC Versions: 9.2.8,9.4.7,9.6.2,9.6.3
2023-12-06 17:55:44.0580000 [client] DEBUG HLS 2.4.0.0 compatible with GHC Versions: 9.2.8,9.4.7,9.6.3,9.8.1
2023-12-06 17:55:44.0580000 [client] DEBUG HLS 2.5.0.0 compatible with GHC Versions: 9.2.8,9.4.8,9.6.3,9.8.1
2023-12-06 17:55:44.0580000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:44.0670000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:44.0670000 [client] INFO Executing 'ghcup --no-verbose list -t hls -c installed -r' in cwd '/'
2023-12-06 17:55:44.1750000 [client] DEBUG Execution of 'ghcup --no-verbose list -t hls -c installed -r' terminated with code 0
2023-12-06 17:55:44.1750000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:44.1770000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:44.1780000 [client] INFO Executing 'ghcup --no-verbose whereis bindir' in cwd '/'
2023-12-06 17:55:44.1990000 [client] DEBUG Execution of 'ghcup --no-verbose whereis bindir' terminated with code 0
2023-12-06 17:55:44.2030000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:44.2060000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:44.2070000 [client] INFO Executing 'ghcup --no-verbose whereis hls 2.5.0.0' in cwd '/'
2023-12-06 17:55:44.2270000 [client] DEBUG Execution of 'ghcup --no-verbose whereis hls 2.5.0.0' terminated with code 0
2023-12-06 17:55:44.2270000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:44.2290000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:44.2290000 [client] INFO Executing 'ghcup --no-verbose whereis ghc 9.6.3' in cwd '/'
2023-12-06 17:55:44.2510000 [client] DEBUG Execution of 'ghcup --no-verbose whereis ghc 9.6.3' terminated with code 0
2023-12-06 17:55:44.2520000 [client] INFO Checking for ghcup installation
2023-12-06 17:55:44.2540000 [client] INFO found ghcup at ghcup
2023-12-06 17:55:44.2550000 [client] INFO Executing 'ghcup --no-verbose run --hls 2.5.0.0 --cabal 3.10.2.0 --stack 2.13.1 --ghc 9.6.3 --install' in cwd '/'
2023-12-06 17:55:44.3480000 [client] DEBUG Execution of 'ghcup --no-verbose run --hls 2.5.0.0 --cabal 3.10.2.0 --stack 2.13.1 --ghc 9.6.3 --install' terminated with code 0
2023-12-06 17:55:44.3490000 [client] INFO Activating the language server in working dir: /Users/simon/src/DEVTOOLS/shelltestrunner (the workspace folder)
2023-12-06 17:55:44.3490000 [client] INFO run command: /Users/simon/.ghcup/tmp/ghcup-ghc-9.6.3_cabal-3.10.2.0_hls-2.5.0.0_stack-2.13.1/haskell-language-server-wrapper --lsp
2023-12-06 17:55:44.3490000 [client] INFO debug command: /Users/simon/.ghcup/tmp/ghcup-ghc-9.6.3_cabal-3.10.2.0_hls-2.5.0.0_stack-2.13.1/haskell-language-server-wrapper --lsp
2023-12-06 17:55:44.3490000 [client] INFO server cwd: /Users/simon/src/DEVTOOLS/shelltestrunner
2023-12-06 17:55:44.3490000 [client] INFO server environment variables:
2023-12-06 17:55:44.3490000 [client] INFO   PATH=/Users/simon/.ghcup/tmp/ghcup-ghc-9.6.3_cabal-3.10.2.0_hls-2.5.0.0_stack-2.13.1:/Users/simon/.wasmedge/bin:/Users/simon/.wasmtime/bin:/Users/simon/adm/bin:/Users/simon/src/hledger/tools:/Users/simon/bin:/Users/simon/.ghcup/bin:/Users/simon/src/hledger/tools:/Users/simon/src/hledger/bin:/Users/simon/src/hledger/bin/old:/Users/simon/.local/bin:/Users/simon/.cabal/bin:/opt/homebrew/Cellar/janet/1.29.1/bin:/opt/homebrew/opt/make/libexec/gnubin:/opt/homebrew/opt/grep/libexec/gnubin:/opt/homebrew/opt/m4/bin:/opt/homebrew/opt/texinfo/bin:/opt/homebrew/sbin:/opt/homebrew/bin:/sbin:/usr/bin:/bin:/usr/sbin:/sbin:/Users/simon/.cargo/bin:/Users/simon/.deno/bin:/Users/simon/.go/bin:/Users/simon/.gem/ruby/2.6.0/bin:/Users/simon/clients/championwindows/bin:/Users/simon/clients/championwindows/systems:/usr/local/bin
2023-12-06 17:55:44.3490000 [client] DEBUG document selector patten: /Users/simon/src/DEVTOOLS/shelltestrunner/**/*
2023-12-06 17:55:44.3520000 [client] INFO Starting language server
No 'hie.yaml' found. Try to discover the project type!
Run entered for haskell-language-server-wrapper(haskell-language-server-wrapper) Version 2.5.0.0 aarch64 ghc-9.2.8
Current directory: /Users/simon/src/DEVTOOLS/shelltestrunner
Operating system: darwin
Arguments: ["--lsp"]
Cradle directory: /Users/simon/src/DEVTOOLS/shelltestrunner
Cradle type: Stack

Tool versions found on the $PATH
cabal:          3.10.2.0
stack:          2.13.1
ghc:            9.6.3


Consulting the cradle to get project GHC version...
2023-12-06T17:55:44.550337Z | Debug | executing command: stack setup --silent
2023-12-06T17:55:44.575969Z | Debug | executing command: stack exec ghc -- --numeric-version
Failed to find the GHC version of this Stack project.
Error when calling stack exec ghc -- --numeric-version

Error: [S-6362]
No compiler found, expected minor version match with ghc-9.6.2 (aarch64) (based on resolver setting in /Users/simon/src/DEVTOOLS/shelltestrunner/stack.yaml).
To install the correct GHC into /Users/simon/.stack/programs/aarch64-osx/, try running 'stack setup' or use the '--install-ghc' flag. To use your system GHC installation, run 'stack config set system-ghc --global true', or use the '--system-ghc' flag.

 2023-12-06T17:55:44.800516Z | Info | Starting server
2023-12-06T17:55:44.829444Z | Error | LSP: no handler for: "initialized"
2023-12-06T17:55:44.830894Z | Debug | LSP: set new config: {
  "checkProject": false,
  "formattingProvider": "fourmolu",
  "ghcupExecutablePath": "",
  "indentationRules": { "enabled": true },
  "logFile": "",
  "manageHLS": "GHCup",
  "maxCompletions": 40,
  "metadataURL": "",
  "openDocumentationInHackage": true,
  "openSourceInHackage": true,
  "plugin": {
    "alternateNumberFormat": { "globalOn": true },
    "cabal": { "completionOn": true, "globalOn": true },
    "callHierarchy": { "globalOn": true },
    "changeTypeSignature": { "globalOn": true },
    "class": { "codeActionsOn": true, "codeLensOn": true },
    "eval": {
      "config": { "diff": true, "exception": false },
      "globalOn": true
    },
    "explicit-fields": { "globalOn": true },
    "explicit-fixity": { "globalOn": true },
    "fourmolu": { "config": { "external": false } },
    "gadt": { "globalOn": true },
    "ghcide-code-actions-bindings": { "globalOn": true },
    "ghcide-code-actions-fill-holes": { "globalOn": true },
    "ghcide-code-actions-imports-exports": { "globalOn": true },
    "ghcide-code-actions-type-signatures": { "globalOn": true },
    "ghcide-completions": {
      "config": { "autoExtendOn": true, "snippetsOn": true },
      "globalOn": true
    },
    "ghcide-hover-and-symbols": { "hoverOn": true, "symbolsOn": true },
    "ghcide-type-lenses": { "config": { "mode": "always" }, "globalOn": true },
    "haddockComments": { "globalOn": true },
    "hlint": {
      "codeActionsOn": true,
      "config": { "flags": [  ] },
      "diagnosticsOn": true
    },
    "importLens": { "codeActionsOn": true, "codeLensOn": true },
    "moduleName": { "globalOn": true },
    "pragmas": { "codeActionsOn": true, "completionOn": true },
    "qualifyImportedNames": { "globalOn": true },
    "refineImports": { "codeActionsOn": true, "codeLensOn": true },
    "rename": { "config": { "crossModule": false }, "globalOn": true },
    "retrie": { "globalOn": true },
    "splice": { "globalOn": true },
    "stan": { "globalOn": false },
    "tactics": {
      "codeActionsOn": true,
      "codeLensOn": true,
      "config": {
        "auto_gas": 4,
        "hole_severity": null,
        "max_use_ctor_actions": 5,
        "proofstate_styling": true,
        "timeout_duration": 2
      },
      "hoverOn": true
    }
  },
  "promptBeforeDownloads": "true",
  "releasesDownloadStoragePath": "",
  "releasesURL": "",
  "serverEnvironment": {  },
  "serverExecutablePath": "",
  "serverExtraArgs": "",
  "toolchain": {  },
  "trace": { "client": "debug", "server": "off" },
  "upgradeGHCup": false
}
2023-12-06T17:55:44.835225Z | Error | LSP: no handler for: "workspace/didChangeConfiguration"
2023-12-06T17:55:44.836974Z | Debug | VFS: opening file:///Users/simon/src/DEVTOOLS/shelltestrunner/src/shelltest.hs
2023-12-06T17:55:44.837718Z | Error | LSP: no handler for: "textDocument/didOpen"
2023-12-06T17:55:44.838060Z | Debug | LSP: set new config: {
  "checkProject": false,
  "formattingProvider": "fourmolu",
  "ghcupExecutablePath": "",
  "indentationRules": { "enabled": true },
  "logFile": "",
  "manageHLS": "GHCup",
  "maxCompletions": 40,
  "metadataURL": "",
  "openDocumentationInHackage": true,
  "openSourceInHackage": true,
  "plugin": {
    "alternateNumberFormat": { "globalOn": true },
    "cabal": { "completionOn": true, "globalOn": true },
    "callHierarchy": { "globalOn": true },
    "changeTypeSignature": { "globalOn": true },
    "class": { "codeActionsOn": true, "codeLensOn": true },
    "eval": {
      "config": { "diff": true, "exception": false },
      "globalOn": true
    },
    "explicit-fields": { "globalOn": true },
    "explicit-fixity": { "globalOn": true },
    "fourmolu": { "config": { "external": false } },
    "gadt": { "globalOn": true },
    "ghcide-code-actions-bindings": { "globalOn": true },
    "ghcide-code-actions-fill-holes": { "globalOn": true },
    "ghcide-code-actions-imports-exports": { "globalOn": true },
    "ghcide-code-actions-type-signatures": { "globalOn": true },
    "ghcide-completions": {
      "config": { "autoExtendOn": true, "snippetsOn": true },
      "globalOn": true
    },
    "ghcide-hover-and-symbols": { "hoverOn": true, "symbolsOn": true },
    "ghcide-type-lenses": { "config": { "mode": "always" }, "globalOn": true },
    "haddockComments": { "globalOn": true },
    "hlint": {
      "codeActionsOn": true,
      "config": { "flags": [  ] },
      "diagnosticsOn": true
    },
    "importLens": { "codeActionsOn": true, "codeLensOn": true },
    "moduleName": { "globalOn": true },
    "pragmas": { "codeActionsOn": true, "completionOn": true },
    "qualifyImportedNames": { "globalOn": true },
    "refineImports": { "codeActionsOn": true, "codeLensOn": true },
    "rename": { "config": { "crossModule": false }, "globalOn": true },
    "retrie": { "globalOn": true },
    "splice": { "globalOn": true },
    "stan": { "globalOn": false },
    "tactics": {
      "codeActionsOn": true,
      "codeLensOn": true,
      "config": {
        "auto_gas": 4,
        "hole_severity": null,
        "max_use_ctor_actions": 5,
        "proofstate_styling": true,
        "timeout_duration": 2
      },
      "hoverOn": true
    }
  },
  "promptBeforeDownloads": "true",
  "releasesDownloadStoragePath": "",
  "releasesURL": "",
  "serverEnvironment": {  },
  "serverExecutablePath": "",
  "serverExtraArgs": "",
  "toolchain": {  },
  "trace": { "client": "debug", "server": "off" },
  "upgradeGHCup": false
}
2023-12-06T17:55:44.842436Z | Debug | LSP: set new config: {
  "checkProject": false,
  "formattingProvider": "fourmolu",
  "ghcupExecutablePath": "",
  "indentationRules": { "enabled": true },
  "logFile": "",
  "manageHLS": "GHCup",
  "maxCompletions": 40,
  "metadataURL": "",
  "openDocumentationInHackage": true,
  "openSourceInHackage": true,
  "plugin": {
    "alternateNumberFormat": { "globalOn": true },
    "cabal": { "completionOn": true, "globalOn": true },
    "callHierarchy": { "globalOn": true },
    "changeTypeSignature": { "globalOn": true },
    "class": { "codeActionsOn": true, "codeLensOn": true },
    "eval": {
      "config": { "diff": true, "exception": false },
      "globalOn": true
    },
    "explicit-fields": { "globalOn": true },
    "explicit-fixity": { "globalOn": true },
    "fourmolu": { "config": { "external": false } },
    "gadt": { "globalOn": true },
    "ghcide-code-actions-bindings": { "globalOn": true },
    "ghcide-code-actions-fill-holes": { "globalOn": true },
    "ghcide-code-actions-imports-exports": { "globalOn": true },
    "ghcide-code-actions-type-signatures": { "globalOn": true },
    "ghcide-completions": {
      "config": { "autoExtendOn": true, "snippetsOn": true },
      "globalOn": true
    },
    "ghcide-hover-and-symbols": { "hoverOn": true, "symbolsOn": true },
    "ghcide-type-lenses": { "config": { "mode": "always" }, "globalOn": true },
    "haddockComments": { "globalOn": true },
    "hlint": {
      "codeActionsOn": true,
      "config": { "flags": [  ] },
      "diagnosticsOn": true
    },
    "importLens": { "codeActionsOn": true, "codeLensOn": true },
    "moduleName": { "globalOn": true },
    "pragmas": { "codeActionsOn": true, "completionOn": true },
    "qualifyImportedNames": { "globalOn": true },
    "refineImports": { "codeActionsOn": true, "codeLensOn": true },
    "rename": { "config": { "crossModule": false }, "globalOn": true },
    "retrie": { "globalOn": true },
    "splice": { "globalOn": true },
    "stan": { "globalOn": false },
    "tactics": {
      "codeActionsOn": true,
      "codeLensOn": true,
      "config": {
        "auto_gas": 4,
        "hole_severity": null,
        "max_use_ctor_actions": 5,
        "proofstate_styling": true,
        "timeout_duration": 2
      },
      "hoverOn": true
    }
  },
  "promptBeforeDownloads": "true",
  "releasesDownloadStoragePath": "",
  "releasesURL": "",
  "serverEnvironment": {  },
  "serverExecutablePath": "",
  "serverExtraArgs": "",
  "toolchain": {  },
  "trace": { "client": "debug", "server": "off" },
  "upgradeGHCup": false
}