Created
December 6, 2023 09:51
-
-
Save simonmichael/826f90d820fd3e27bc042727e9d81584 to your computer and use it in GitHub Desktop.
HLS startup failure
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2023-12-06 09:50:21.9870000 [client] DEBUG Environment variables: | |
2023-12-06 09:50:21.9880000 [client] DEBUG PATH: /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:/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:/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:/Users/simon/.wasmtime/bin:/Users/simon/adm/bin:/Users/simon/src/hledger/tools:/Users/simon/bin:/Users/simon/.ghcup/bin:/Users/simon/src/hledger/bin:/Users/simon/.cabal/bin:/Users/simon/.local/bin:/opt/homebrew/sbin:/opt/homebrew/bin:/Users/simon/.wasmedge/bin:/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/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:/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:/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 09:50:21.9880000 [client] INFO Finding haskell-language-server | |
2023-12-06 09:50:21.9880000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:22.0000000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:22.0000000 [client] INFO Executing 'ghcup --no-verbose list -t hls -c installed -r' in cwd '/' | |
2023-12-06 09:50:22.3650000 [client] DEBUG Execution of 'ghcup --no-verbose list -t hls -c installed -r' terminated with code 0 | |
2023-12-06 09:50:22.3660000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:22.3720000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:22.3720000 [client] INFO Executing 'ghcup --no-verbose list -t cabal -c installed -r' in cwd '/' | |
2023-12-06 09:50:22.4980000 [client] DEBUG Execution of 'ghcup --no-verbose list -t cabal -c installed -r' terminated with code 0 | |
2023-12-06 09:50:22.4980000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:22.5210000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:22.5210000 [client] INFO Executing 'ghcup --no-verbose list -t stack -c installed -r' in cwd '/' | |
2023-12-06 09:50:22.6680000 [client] DEBUG Execution of 'ghcup --no-verbose list -t stack -c installed -r' terminated with code 0 | |
2023-12-06 09:50:22.6730000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:22.6790000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:22.6790000 [client] INFO Executing 'ghcup --no-verbose whereis hls 2.5.0.0' in cwd '/' | |
2023-12-06 09:50:22.7030000 [client] DEBUG Execution of 'ghcup --no-verbose whereis hls 2.5.0.0' terminated with code 0 | |
2023-12-06 09:50:22.7040000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:22.7130000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:22.7130000 [client] INFO Executing 'ghcup --no-verbose whereis cabal 3.10.2.0' in cwd '/' | |
2023-12-06 09:50:22.7370000 [client] DEBUG Execution of 'ghcup --no-verbose whereis cabal 3.10.2.0' terminated with code 0 | |
2023-12-06 09:50:22.7380000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:22.7480000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:22.7480000 [client] INFO Executing 'ghcup --no-verbose whereis stack 2.13.1' in cwd '/' | |
2023-12-06 09:50:22.7730000 [client] DEBUG Execution of 'ghcup --no-verbose whereis stack 2.13.1' terminated with code 0 | |
2023-12-06 09:50:22.7790000 [client] INFO Executing 'ghc --numeric-version' in cwd '/' | |
2023-12-06 09:50:22.8420000 [client] DEBUG Execution of 'ghc --numeric-version' terminated with code 0 | |
2023-12-06 09:50:22.8420000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:22.8470000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:22.8470000 [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 09:50:22.9840000 [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 09:50:23.0300000 [client] INFO Working out the project GHC version. This might take a while... | |
2023-12-06 09:50:23.0310000 [client] INFO Executing 'haskell-language-server-wrapper --project-ghc-version' in cwd '/Users/simon/src/hledger' | |
2023-12-06 09:50:25.6530000 [client] DEBUG Execution of 'haskell-language-server-wrapper --project-ghc-version' terminated with code 0 | |
2023-12-06 09:50:25.6530000 [client] INFO The GHC version for the project or file: 9.6.3 | |
2023-12-06 09:50:25.7570000 [client] INFO Platform constants: Darwin, A_ARM64 | |
2023-12-06 09:50:25.7570000 [client] DEBUG HLS 1.4.0 compatible with GHC Versions: 8.10.7 | |
2023-12-06 09:50:25.7570000 [client] DEBUG HLS 1.5.0 compatible with GHC Versions: 8.10.7 | |
2023-12-06 09:50:25.7570000 [client] DEBUG HLS 1.5.1 compatible with GHC Versions: 8.10.7 | |
2023-12-06 09:50:25.7570000 [client] DEBUG HLS 1.6.0.0 compatible with GHC Versions: 8.10.7 | |
2023-12-06 09:50:25.7570000 [client] DEBUG HLS 1.6.1.0 compatible with GHC Versions: 8.10.7 | |
2023-12-06 09:50:25.7570000 [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 09:50:25.7570000 [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 09:50:25.7570000 [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 09:50:25.7570000 [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 09:50:25.7570000 [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 09:50:25.7570000 [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 09:50:25.7570000 [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 09:50:25.7570000 [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 09:50:25.7570000 [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 09:50:25.7570000 [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 09:50:25.7570000 [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 09:50:25.7570000 [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 09:50:25.7580000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:25.7680000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:25.7690000 [client] INFO Executing 'ghcup --no-verbose list -t hls -c installed -r' in cwd '/' | |
2023-12-06 09:50:25.9360000 [client] DEBUG Execution of 'ghcup --no-verbose list -t hls -c installed -r' terminated with code 0 | |
2023-12-06 09:50:25.9360000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:25.9480000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:25.9480000 [client] INFO Executing 'ghcup --no-verbose whereis bindir' in cwd '/' | |
2023-12-06 09:50:25.9740000 [client] DEBUG Execution of 'ghcup --no-verbose whereis bindir' terminated with code 0 | |
2023-12-06 09:50:25.9750000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:25.9820000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:25.9830000 [client] INFO Executing 'ghcup --no-verbose whereis hls 2.5.0.0' in cwd '/' | |
2023-12-06 09:50:26.0040000 [client] DEBUG Execution of 'ghcup --no-verbose whereis hls 2.5.0.0' terminated with code 0 | |
2023-12-06 09:50:26.0050000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:26.0110000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:26.0110000 [client] INFO Executing 'ghcup --no-verbose whereis ghc 9.6.3' in cwd '/' | |
2023-12-06 09:50:26.0340000 [client] DEBUG Execution of 'ghcup --no-verbose whereis ghc 9.6.3' terminated with code 0 | |
2023-12-06 09:50:26.0340000 [client] INFO Checking for ghcup installation | |
2023-12-06 09:50:26.0380000 [client] INFO found ghcup at ghcup | |
2023-12-06 09:50:26.0380000 [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 09:50:26.1340000 [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 09:50:26.1340000 [client] INFO Activating the language server in working dir: /Users/simon/src/hledger (the workspace folder) | |
2023-12-06 09:50:26.1350000 [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 09:50:26.1350000 [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 09:50:26.1350000 [client] INFO server environment variables: | |
2023-12-06 09:50:26.1350000 [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/.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:/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:/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:/Users/simon/.wasmtime/bin:/Users/simon/adm/bin:/Users/simon/src/hledger/tools:/Users/simon/bin:/Users/simon/.ghcup/bin:/Users/simon/src/hledger/bin:/Users/simon/.cabal/bin:/Users/simon/.local/bin:/opt/homebrew/sbin:/opt/homebrew/bin:/Users/simon/.wasmedge/bin:/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/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:/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:/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 09:50:26.1350000 [client] DEBUG document selector patten: /Users/simon/src/hledger/**/* | |
2023-12-06 09:50:26.1360000 [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: / | |
Operating system: darwin | |
Arguments: ["--lsp"] | |
Cradle directory: / | |
Cradle type: Default | |
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-06T09:50:26.298432Z | Debug | executing command: ghc --numeric-version | |
Failed to find the GHC version of this Default project. | |
Couldn't execute ghc --numeric-version | |
2023-12-06T09:50:26.300933Z | Info | Starting server | |
2023-12-06T09:50:26.303593Z | Error | LSP: no handler for: "initialized" | |
2023-12-06T09:50:26.304098Z | 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-06T09:50:26.308819Z | Error | LSP: no handler for: "workspace/didChangeConfiguration" | |
2023-12-06T09:50:26.309637Z | Debug | VFS: opening file:///Users/simon/src/hledger/hledger-lib/Hledger/Utils/IO.hs | |
2023-12-06T09:50:26.309974Z | Error | LSP: no handler for: "textDocument/didOpen" | |
2023-12-06T09:50:26.310251Z | 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-06T09:50:26.315066Z | 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