Skip to content
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

Stale diagnostics fix #1204

Merged
merged 3 commits into from
Jan 13, 2021
Merged

Stale diagnostics fix #1204

merged 3 commits into from
Jan 13, 2021

Conversation

pepeiborra
Copy link
Collaborator

@pepeiborra pepeiborra commented Jan 12, 2021

This PR fixes another diagnostics bug introduced by #1188. Diagnostics are tricky but this was a silly mistake.

When a rule runs, the ide must always send the diagnostics returned by the rule. The only case where saved diagnostics are to be reused is early cutoff.

This is what the description of #1188 stated, I have no idea why then in the implementation I changed the non early-cutoff case.

When the rule runs, always use the diagnostics it returns

The only case where we reuse saved diagnostics is early cutoff
@pepeiborra pepeiborra changed the title Diagnostics Stale diagnostics fix Jan 12, 2021
Copy link
Member

@jneira jneira left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks for the quick fix

@pepeiborra pepeiborra added the merge me Label to trigger pull request merge label Jan 13, 2021
@mergify mergify bot merged commit b1e9fa4 into master Jan 13, 2021
@wz1000 wz1000 mentioned this pull request Jan 29, 2021
6 tasks
jneira added a commit to jneira/haskell-language-server that referenced this pull request Jan 29, 2021
mergify bot pushed a commit that referenced this pull request Jan 30, 2021
* Add initial release checklist

* Bump up hls version

* Add prs running GenChangelogs.hs to ChangeLog

* Add description to changelog

* Correct checklist entry

* Complete list of pr's after rebasing master

* Rephrasing mention to contributors

* Add mention to #1204 and correct pr's header
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants