Skip to content

Instantly share code, notes, and snippets.

@simonmichael

simonmichael/gist:9d3efe3d025edf4ce0b1371ad38b1ca4

Created December 6, 2023 17:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save simonmichael/9d3efe3d025edf4ce0b1371ad38b1ca4 to your computer and use it in GitHub Desktop.
Save simonmichael/9d3efe3d025edf4ce0b1371ad38b1ca4 to your computer and use it in GitHub Desktop.
Download ZIP
fendor/vscode-haskell startup
Raw
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
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment