-
-
Notifications
You must be signed in to change notification settings - Fork 369
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add garbage collect of diagnostics #713
Comments
I think that we want to at least keep the errors for dependencies of the current files of interest, those are very helpful. And I think that @mpickering may want a completely different behaviour here, as he typechecks all the targets at startup. In implementation terms, we want to garbage collecting diagnostics which do not belong to the set of dependencies of the files of interest. This should happen after |
|
I agree very little should run in kick, but if you have a file of interest |
This continue happening with ghcide and hls master |
Currently if you have a file open with errors, then shut it, the errors persist. The reason is that we don't have any sophisticated removal of non-interesting files, unlike what we have with DAML.
The text was updated successfully, but these errors were encountered: