Skip to content

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.

3 participants