-
-
Notifications
You must be signed in to change notification settings - Fork 399
Closed
Labels
build tool: stackcomponent: hie-biostype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..
Description
Bug description
I'm using VS Code, with the ghcide extension.
When adding a package dependency to the package.yaml, I have to reload to entire VS Code window to restart ghcide to detect and load this new dependency in ghcide.
Desired behaviour
ghcide should reload the dependencies when packages.yaml is updated, so that I don't have to restart it manually.
Version
$ ghcide --version
ghcide version: 0.2.0 (GHC: 8.8.3) (PATH: /nix/store/sdn0dabqvc1g25s8grq7sa9g13ax8fk7-ghcide-exe-ghcide-0.2.0/bin/ghcide)
using Remote SSH extension for VS Code
vscode client on Windows 10
vscode server on NixOS 20.03
I use the ghcide-nix derivation to get GHCIDE (version was recently bumped there)
Metadata
Metadata
Assignees
Labels
build tool: stackcomponent: hie-biostype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..