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

Fix bug if lines don't match when mapping diagnostics #1064

Merged
merged 1 commit into from
Nov 4, 2022

Conversation

microbit-matt-hillsdon
Copy link
Collaborator

The document may have changed in the meantime so notice when lines don't make sense. I've also added a specific check for the scenario where diagnostics have to < from.

Closes #1062

The document may have changed in the meantime so notice when lines don't
make sense. I've also added a specific check for the scenario where
diagnostics have to < from.

Closes #1062
@github-actions
Copy link

github-actions bot commented Nov 4, 2022

Preview build will be at
https://review-python-editor-v3.microbit.org/fix-1062/

@microbit-matt-hillsdon microbit-matt-hillsdon changed the title Be more defensive mapping diagnostics. Fix bug when lines don't match when mapping diagnostics Nov 4, 2022
@microbit-matt-hillsdon microbit-matt-hillsdon changed the title Fix bug when lines don't match when mapping diagnostics Fix bug if lines don't match when mapping diagnostics Nov 4, 2022
@microbit-matt-hillsdon
Copy link
Collaborator Author

Tried point and range diagnostics and all seems to be working well. I don't think it's reasonable to be able to repro this via the UI so we'll have to rely on reviewing the logic of the fix and the tests.

Copy link
Collaborator

@microbit-robert microbit-robert left a comment

Choose a reason for hiding this comment

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

LGTM.

@microbit-matt-hillsdon
Copy link
Collaborator Author

I'll monitor the impact on staging for a bit before releasing this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[CodeMirror] Mark decorations may not be empty in lint
2 participants