Closed
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)