HLS does not tolerate deleting modules.

[ProofOfKeags]

Environment: VSCode

Release: 0.3.0

If you delete a module (and remove all references to it), VSCode Problems tab still shows it as not being found. Restarting the editor fixes this, but for obvious reasons that's pretty annoying.

This seems like an easy thing to fix and I would like to learn how to contribute to HLS. I'll for sure need some help orienting myself though.

[jneira]

Hi, i think changes should be done in the ghcide library, maybe @pepeiborra and @wz1000 could help with some tips cause they have worked with the component that loads modules.

[pepeiborra]

This is covered by digital-asset/ghcide#498 IIUC

[wz1000]

Another issue is that the knownFiles introduced in haskell/ghcide#688 (merged in the branch ghcide used by hls) are a grow only set. To fix this, known files would probably have to be stored per component, so the set of files for each component can be updated individually.

[jneira]

The ghcide issue has been moved here so i am gonna close this one.