search

haskell / vscode-haskell

VS Code extension for Haskell, powered by haskell-language-server
https://marketplace.visualstudio.com/items?itemName=haskell.haskell
Other
559 stars 90 forks source link

Not able to 'Jump to definition' #405

Closed omefire closed 2 years ago

omefire commented 3 years ago

I am not able to "go to definition" on any types within my source code. Here is the log shown by VS Code:


[client] run command: "/Users/username/Library/Application Support/Code/User/globalStorage/haskell.haskell/haskell-language-server-1.2.0-darwin-8.6.5 --lsp -d"
[client] debug command: "/Users/username/Library/Application Support/Code/User/globalStorage/haskell.haskell/haskell-language-server-1.2.0-darwin-8.6.5 --lsp -d"
[client] server cwd: undefined
haskell-language-server version: 1.2.0.0 (GHC: 8.6.5) (PATH: /Users/username/Library/Application Support/Code/User/globalStorage/haskell.haskell/haskell-language-server-1.2.0-darwin-8.6.5) (GIT hash: be2071e985cb417f984ab00a1aad76dee02d6d0b)
Starting (haskell-language-server)LSP server...
  with arguments: GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = True, argsLogFile = Nothing, argsThreads = 0, argsProjectGhcVersion = False}
  with plugins: [PluginId "pragmas",PluginId "floskell",PluginId "fourmolu",PluginId "tactics",PluginId "ormolu",PluginId "stylish-haskell",PluginId "retrie",PluginId "brittany",PluginId "class",PluginId "haddockComments",PluginId "eval",PluginId "importLens",PluginId "refineImports",PluginId "moduleName",PluginId "hlint",PluginId "splice",PluginId "ghcide-hover-and-symbols",PluginId "ghcide-code-actions-imports-exports",PluginId "ghcide-code-actions-type-signatures",PluginId "ghcide-code-actions-bindings",PluginId "ghcide-code-actions-fill-holes",PluginId "ghcide-completions",PluginId "ghcide-type-lenses",PluginId "ghcide-core"]
  in directory: /Users/username/Projects/cardano-node
 Starting LSP server...
If you are seeing this in a terminal, you probably should have run WITHOUT the --lsp option!
Started LSP server in 0.00s
setInitialDynFlags cradle: Cradle {cradleRootDir = "/Users/username/Projects/cardano-node", cradleOptsProg = CradleAction: Stack}
2021-06-24 07:25:25.095643 [ThreadId 5] INFO hls:   Registering ide configuration: IdeConfiguration {workspaceFolders = fromList [NormalizedUri (-3511520751705782933) "file:///Users/username/Projects/cardano-node"], clientSettings = hashed Nothing}
2021-06-24 07:25:25.099489 [ThreadId 28] DEBUG hls: Configuration changed: Object (fromList [("haskell",Object (fromList [("completionSnippetsOn",Bool True),("diagnosticsOnChange",Bool True),("formatOnImportOn",Bool True),("formattingProvider",String "ormolu"),("hlintOn",Bool True),("indentationRules",Object (fromList [("enabled",Bool True)])),("logFile",String ""),("plugin",Object (fromList [("class",Object (fromList [("globalOn",Bool True)])),("eval",Object (fromList [("globalOn",Bool True)])),("ghcide-completions",Object (fromList [("config",Object (fromList [("autoExtendOn",Bool True),("snippetsOn",Bool True)]))])),("ghcide-type-lenses",Object (fromList [("config",Object (fromList [("mode",Bool True)])),("globalOn",Bool True)])),("haddockComments",Object (fromList [("globalOn",Bool True)])),("hlint",Object (fromList [("codeActionsOn",Bool True),("diagnosticsOn",Bool True)])),("importLens",Object (fromList [("codeActionsOn",Bool True),("codeLensOn",Bool True)])),("moduleName",Object (fromList [("globalOn",Bool True)])),("pragmas",Object (fromList [("codeActionsOn",Bool True),("completionOn",Bool True)])),("retrie",Object (fromList [("globalOn",Bool True)])),("splice",Object (fromList [("globalOn",Bool True)])),("tactic",Object (fromList [("config",Object (fromList [("features",Bool True),("max_use_ctor_actions",Number 5.0)])),("globalOn",Bool True)])),("tactics",Object (fromList [("config",Object (fromList [("hole_severity",Null),("timeout_duration",Number 2.0)]))]))])),("releasesURL",String ""),("serverExecutablePath",String ""),("trace",Object (fromList [("server",String "messages")])),("updateBehavior",String "keep-up-to-date")]))])
2021-06-24 07:25:25.099989 [ThreadId 28] DEBUG hls: Restarting build session for keys [GetClientSettings; ] (aborting the previous one took 0.00s)
2021-06-24 07:25:25.100075 [ThreadId 31] DEBUG hls: Finishing build session(exception: AsyncCancelled)
2021-06-24 07:25:25.100512 [ThreadId 28] DEBUG hls: Set files of interest to: fromList []
2021-06-24 07:25:25.100667 [ThreadId 28] DEBUG hls: Restarting build session for keys [GetModificationTime_ {missingFileDiagnostics = True}; /Users/username/Projects/cardano-node/cardano-cli/src/Cardano/CLI/Run.hs,IsFileOfInterest; /Users/username/Projects/cardano-node/cardano-cli/src/Cardano/CLI/Run.hs,GetClientSettings; ] (aborting the previous one took 0.00s)
2021-06-24 07:25:25.100772 [ThreadId 43] DEBUG hls: Finishing build session(exception: AsyncCancelled)
2021-06-24 07:25:25.100849 [ThreadId 28] DEBUG hls: Opened text document: file:///Users/username/Projects/cardano-node/cardano-cli/src/Cardano/CLI/Run.hs
2021-06-24 07:25:25.101588 [ThreadId 101] DEBUG hls:    hlint:getIdeas:file:NormalizedFilePath "/Users/username/Projects/cardano-node/cardano-cli/src/Cardano/CLI/Run.hs"
2021-06-24 07:25:25.102618 [ThreadId 103] INFO hls: Consulting the cradle for "cardano-cli/src/Cardano/CLI/Run.hs"
2021-06-24 07:25:25.102727 [ThreadId 103] WARNING hls:  No [cradle](https://github.com/mpickering/hie-bios#hie-bios) found for cardano-cli/src/Cardano/CLI/Run.hs.
 Proceeding with [implicit cradle](https://hackage.haskell.org/package/implicit-hie).
You should ignore this message, unless you see a 'Multi Cradle: No prefixes matched' error.
Output from setting up the cradle Cradle {cradleRootDir = "/Users/username/Projects/cardano-node", cradleOptsProg = CradleAction: Stack}
2021-06-24 07:25:25.361014 [ThreadId 159] DEBUG hls:    src/Ide/Plugin/Eval/CodeLens.hs:168:15 "fp" "/Users/username/Projects/cardano-node/cardano-cli/src/Cardano/CLI/Run.hs"
> WARNING: Ignoring th-lift-instances's bounds on th-lift (>=0.8); using th-lift-0.7.11.
> Reason: allow-newer enabled.
> WARNING: Ignoring ouroboros-consensus's bounds on sop-core (>=0.5 && <0.6); using sop-core-0.4.0.0.
> Reason: allow-newer enabled.
> 
> Error: While constructing the build plan, the following exceptions were encountered:
> 
> In the dependencies for ouroboros-consensus-shelley-0.1.0.0:
>     cardano-crypto-praos needed, but the stack configuration has no specified version (no package
>                          with that name found, perhaps there is a typo in a package's build-depends
>                          or an omission from the stack.yaml packages list?)
> needed due to cardano-cli-1.15.1 -> ouroboros-consensus-shelley-0.1.0.0
> 
> Some different approaches to resolving this:
> 
> 
> 
> Error: Plan construction failed.
> 
> Warning: Build failed, but trying to launch GHCi anyway
> Configuring GHCi with the following packages: cardano-cli
> 
> Warning: Didn't find expected autogen file:
>          /Users/username/Projects/cardano-node/cardano-cli/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/autogen/cabal_macros.h
> /Users/username/Projects/cardano-node/.stack-work/install/x86_64-osx/2c6d7e81d3bb43f8b0d624293f55d6c5d2f4a6b534f0c9acbf205656caecccbf/8.6.5/pkgdb:/Users/username/.stack/snapshots/x86_64-osx/2c6d7e81d3bb43f8b0d624293f55d6c5d2f4a6b534f0c9acbf205656caecccbf/8.6.5/pkgdb:/Users/username/.stack/programs/x86_64-osx/ghc-8.6.5/lib/ghc-8.6.5/package.conf.d
2021-06-24 07:25:27.123382 [ThreadId 103] DEBUG hls:    Session loading result: Right (ComponentOptions {componentOptions = ["-i","-odir=/Users/username/Projects/cardano-node/.stack-work/odir","-hidir=/Users/username/Projects/cardano-node/.stack-work/odir","-hide-all-packages","-XNoImplicitPrelude","-XOverloadedStrings","-i/Users/username/Projects/cardano-node/cardano-cli/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build","-i/Users/username/Projects/cardano-node/cardano-cli/src","-i/Users/username/Projects/cardano-node/cardano-cli/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/autogen","-i/Users/username/Projects/cardano-node/cardano-cli/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/global-autogen","-stubdir=/Users/username/Projects/cardano-node/cardano-cli/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build","-package-id=base-4.12.0.0","-package=aeson-1.4.2.0","-package=aeson-pretty-0.8.7","-package=attoparsec-0.13.2.2","-package=bech32-1.0.2","-package-id=bytestring-0.10.8.2","-package=base16-bytestring-0.1.1.6","-package=base58-bytestring-0.1.0","-package=canonical-json-0.6.0.0","-package=cardano-api-1.15.1","-package=cardano-binary-1.5.0","-package=cardano-config-0.1.0.0","-package=cardano-crypto-1.1.0","-package=cardano-crypto-class-2.0.0","-package=cardano-crypto-wrapper-1.3.0","-package=cardano-ledger-0.1.0.0","-package=cardano-prelude-0.1.0.0","-package=cardano-slotting-0.1.0.0","-package=contra-tracer-0.1.0.0","-package=cborg-0.2.2.1","-package=containers-0.5.11.0","-package-id=directory-1.3.3.0","-package-id=filepath-1.4.2.1","-package=formatting-6.3.7","-package=io-sim-classes-0.1.0.0","-package=iproute-1.7.7","-package=lens-4.17.1","-package=memory-0.14.18","-package=network-3.1.1.1","-package=network-mux-0.1.0.0","-package=network-uri-2.6.1.0","-package=optparse-applicative-0.14.3.0","-package=ouroboros-consensus-0.1.0.0","-package=ouroboros-consensus-byron-0.1.0.0","-package=ouroboros-consensus-cardano-0.1.0.0","-package=ouroboros-consensus-shelley-0.1.0.0","-package=ouroboros-network-0.1.0.0","-package=scientific-0.3.6.2","-package=shelley-spec-ledger-0.1.0.0","-package=text-1.2.4.0","-package-id=time-1.8.0.2","-package-id=transformers-0.5.6.2","-package=transformers-except-0.1.1","-package=ouroboros-network-framework-0.1.0.0","-package=utf8-string-1.0.1.1","-package=unordered-containers-0.2.10.0","-package=vector-0.12.0.3","-package-id=unix-2.7.2.2","-Wall","-Wincomplete-record-updates","-Wincomplete-uni-patterns","-Wredundant-constraints","-Wpartial-fields","-Wcompat","-Wno-all-missed-specialisations","-ghci-script=/private/var/folders/q9/t08xj4s96p9_zffb00r_9pd80000gn/T/haskell-stack-ghci/3e682103/ghci-script","-package-db","/Users/username/Projects/cardano-node/.stack-work/install/x86_64-osx/2c6d7e81d3bb43f8b0d624293f55d6c5d2f4a6b534f0c9acbf205656caecccbf/8.6.5/pkgdb","-package-db","/Users/username/.stack/snapshots/x86_64-osx/2c6d7e81d3bb43f8b0d624293f55d6c5d2f4a6b534f0c9acbf205656caecccbf/8.6.5/pkgdb","-package-db","/Users/username/.stack/programs/x86_64-osx/ghc-8.6.5/lib/ghc-8.6.5/package.conf.d"], componentRoot = "/Users/username/Projects/cardano-node", componentDependencies = ["package.yaml","stack.yaml"]},"/Users/username/.stack/programs/x86_64-osx/ghc-8.6.5/lib/ghc-8.6.5")
2021-06-24 07:25:27.196736 [ThreadId 189] INFO hls: finish: ModuleName.ghcSession (took 1.84s)
2021-06-24 07:25:27.196916 [ThreadId 194] DEBUG hls:    LOOKUP UP PERSISTENT FOR: GetModSummaryWithoutTimestamps
2021-06-24 07:25:27.196977 [ThreadId 197] INFO hls: finish: Pragmas.GetParsedModule (took 2.08s)
2021-06-24 07:25:27.197057 [ThreadId 196] DEBUG hls:    LOOKUP UP PERSISTENT FOR: GetParsedModule
2021-06-24 07:25:27.197075 [ThreadId 200] INFO hls: finish: splice.codeAction.GitHieAst (took 2.08s)
2021-06-24 07:25:27.197096 [ThreadId 199] INFO hls: finish: RefineImports (took 2.08s)
2021-06-24 07:25:27.197147 [ThreadId 204] DEBUG hls:    LOOKUP UP PERSISTENT FOR: GetParsedModuleWithComments
2021-06-24 07:25:27.197135 [ThreadId 198] INFO hls: finish: GhcideCodeActions.getParsedModule (took 2.08s)
2021-06-24 07:25:27.197158 [ThreadId 201] INFO hls: finish: importLens (took 2.08s)
2021-06-24 07:25:27.197237 [ThreadId 176] INFO hls: finish: codeLens.TypeCheck (took 1.84s)
2021-06-24 07:25:27.197259 [ThreadId 208] DEBUG hls:    LOOKUP UP PERSISTENT FOR: TypeCheck
2021-06-24 07:25:27.197253 [ThreadId 194] INFO hls: finish: Wingman.getIdeDynflags.GetModSummaryWithoutTimestamps (took 1.84s)
2021-06-24 07:25:27.197268 [ThreadId 196] INFO hls: finish: Outline (took 2.09s)
2021-06-24 07:25:27.197355 [ThreadId 199] DEBUG hls:    LOOKUP UP PERSISTENT FOR: GetHieAst
2021-06-24 07:25:27.197362 [ThreadId 204] INFO hls: finish: parsed (took 1.84s)
2021-06-24 07:25:27.197294 [ThreadId 207] INFO hls: finish: HaddockComments.GetAnnotatedParsedSource (took 2.09s)
2021-06-24 07:25:27.197374 [ThreadId 213] DEBUG hls:    LOOKUP UP PERSISTENT FOR: MinimalImports
2021-06-24 07:25:27.197395 [ThreadId 208] INFO hls: finish: retrie (took 2.08s)
2021-06-24 07:25:27.197568 [ThreadId 213] INFO hls: finish:  (took 1.84s)
2021-06-24 07:25:27.197684 [ThreadId 199] INFO hls: finish: Wingman.judgementForHole.GetHieAst (took 2.08s)
2021-06-24 07:25:27.197711 [ThreadId 219] INFO hls: finish: codeLens.GetBindings (took 0.00s)
2021-06-24 07:25:27.198043 [ThreadId 231] INFO hls: finish: Pragmas.GetFileContents (took 0.00s)
2021-06-24 07:25:27.198087 [ThreadId 232] INFO hls: finish: codeLens.GetGlobalBindingTypeSigs (took 0.00s)
2021-06-24 07:25:27.198215 [ThreadId 236] DEBUG hls:    LOOKUP UP PERSISTENT FOR: RefineImports
2021-06-24 07:25:27.198299 [ThreadId 236] INFO hls: finish: RefineImports (took 1.84s)
2021-06-24 07:25:27.478555 [ThreadId 242] DEBUG hls:    GhcIde.hover entered (ideLogger)
2021-06-24 07:25:27.478752 [ThreadId 242] DEBUG hls:    Hover request at position 46:25 in file: /Users/username/Projects/cardano-node/cardano-cli/src/Cardano/CLI/Run.hs
2021-06-24 07:25:27.478906 [ThreadId 243] INFO hls: finish: Wingman.getMetaprogramsAtSpan.TypeCheck (took 0.00s)
2021-06-24 07:25:27.47893 [ThreadId 245] DEBUG hls: finish: C:GetHieAst (took 0.00s)
2021-06-24 07:25:27.582501 [ThreadId 272] INFO hls: finish: importLens (took 0.00s)
2021-06-24 07:25:27.582618 [ThreadId 270] INFO hls: finish: Wingman.judgementForHole.GetHieAst (took 0.00s)
2021-06-24 07:25:27.582705 [ThreadId 268] INFO hls: finish: GhcideCodeActions.getParsedModule (took 0.00s)
2021-06-24 07:25:27.582877 [ThreadId 260] INFO hls: finish: Pragmas.GetParsedModule (took 0.00s)
2021-06-24 07:25:27.583144 [ThreadId 266] INFO hls: finish: HaddockComments.GetAnnotatedParsedSource (took 0.00s)
2021-06-24 07:25:27.583192 [ThreadId 276] INFO hls: finish: splice.codeAction.GitHieAst (took 0.00s)
2021-06-24 07:25:27.583181 [ThreadId 274] INFO hls: finish: retrie (took 0.00s)
2021-06-24 07:25:27.583302 [ThreadId 278] INFO hls: finish: RefineImports (took 0.00s)
2021-06-24 07:25:27.583366 [ThreadId 280] INFO hls: finish: Pragmas.GetFileContents (took 0.00s)
2021-06-24 07:25:28.090411 [ThreadId 285] DEBUG hls:    Definition request at position 46:26 in file: /Users/username/Projects/cardano-node/cardano-cli/src/Cardano/CLI/Run.hs
2021-06-24 07:25:28.090627 [ThreadId 286] DEBUG hls:    finish: C:GetHieAst (took 0.00s)
2021-06-24 07:25:28.54751 [ThreadId 291] DEBUG hls: DocumentHighlight request at position 46:25 in file: /Users/username/Projects/cardano-node/cardano-cli/src/Cardano/CLI/Run.hs
2021-06-24 07:25:28.547767 [ThreadId 292] DEBUG hls:    finish: C:GetHieAst (took 0.00s)
2021-06-24 07:25:28.647249 [ThreadId 297] DEBUG hls:    Definition request at position 46:25 in file: /Users/username/Projects/cardano-node/cardano-cli/src/Cardano/CLI/Run.hs
2021-06-24 07:25:28.647538 [ThreadId 299] DEBUG hls:    finish: C:GetHieAst (took 0.00s)
2021-06-24 07:25:28.793132 [ThreadId 313] INFO hls: finish: Pragmas.GetParsedModule (took 0.00s)
2021-06-24 07:25:28.793308 [ThreadId 323] INFO hls: finish: Pragmas.GetFileContents (took 0.00s)
2021-06-24 07:25:28.794107 [ThreadId 321] INFO hls: finish: GhcideCodeActions.getParsedModule (took 0.00s)
2021-06-24 07:25:28.79422 [ThreadId 325] INFO hls:  finish: RefineImports (took 0.00s)
2021-06-24 07:25:28.794237 [ThreadId 327] INFO hls: finish: importLens (took 0.00s)
2021-06-24 07:25:28.794332 [ThreadId 319] INFO hls: finish: HaddockComments.GetAnnotatedParsedSource (took 0.00s)
2021-06-24 07:25:28.794342 [ThreadId 329] INFO hls: finish: Wingman.judgementForHole.GetHieAst (took 0.00s)
2021-06-24 07:25:28.794367 [ThreadId 331] INFO hls: finish: splice.codeAction.GitHieAst (took 0.00s)
2021-06-24 07:25:28.794388 [ThreadId 333] INFO hls: finish: retrie (took 0.00s)
2021-06-24 07:25:36.485795 [ThreadId 340] DEBUG hls:    GhcIde.hover entered (ideLogger)
2021-06-24 07:25:36.485995 [ThreadId 340] DEBUG hls:    Hover request at position 58:6 in file: /Users/user/Projects/cardano-node/cardano-cli/src/Cardano/CLI/Run.hs
2021-06-24 07:25:36.486199 [ThreadId 341] DEBUG hls:    finish: C:GetHieAst (took 0.00s)
2021-06-24 07:25:36.486243 [ThreadId 343] INFO hls: finish: Wingman.getMetaprogramsAtSpan.TypeCheck (took 0.00s)
codygman commented 3 years ago

In general you should make sure your code builds with stack if you have any problems with Haskell language server.

Notice this piece:

> In the dependencies for ouroboros-consensus-shelley-0.1.0.0:
>     cardano-crypto-praos needed, but the stack configuration has no specified version (no package
>                          with that name found, perhaps there is a typo in a package's build-depends
>                          or an omission from the stack.yaml packages list?)
> needed due to cardano-cli-1.15.1 -> ouroboros-consensus-shelley-0.1.0.0
> 
> Some different approaches to resolving this:
> 
> 
> 
> Error: Plan construction failed.

try just running stack build in a terminal and try any of the options that gets you to try and fix the issue. You might want to file an issue with cardano-crypto-praos also.

jneira commented 2 years ago

@omefire i am gonna close optimistically, assuming the issue is related with an underlying error building with stack Feel free to reopen if that is not the case, thanks!