Skip to content

Instantly share code, notes, and snippets.

@simonmichael

simonmichael/gist:826f90d820fd3e27bc042727e9d81584

Created December 6, 2023 09:51
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/826f90d820fd3e27bc042727e9d81584 to your computer and use it in GitHub Desktop.
Save simonmichael/826f90d820fd3e27bc042727e9d81584 to your computer and use it in GitHub Desktop.
Download ZIP
HLS startup failure
Raw
gistfile1.txt
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