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

Baseline as notes #351

Draft
wants to merge 32 commits into
base: master
Choose a base branch
from
Draft

Baseline as notes #351

wants to merge 32 commits into from

Conversation

KotlinIsland
Copy link
Owner

@KotlinIsland KotlinIsland commented Jul 16, 2022

Please include an amongus reference in this PR.

todo:

  • tests
  • doco

KotlinIsland and others added 26 commits July 20, 2022 20:02
- make strict mode default and remove it
- rename local_partial_types to nonlocal_partial_types
- enable all error codes by default
This was breaking the changelog link in README.md
run tests with correct options
- store targets
- baseline format
- tests
- offset
- refactor
- handle reveals
- column number
- 1 to 1 matching
- auto baseline write (when no new errors) with flag
- don't consider reveals for baseline
- when --write-baseline only show new errors
- unlink baseline
- store error target in baseline
- better errors
- better messages
- filter attached notes from errors
@github-actions
Copy link

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

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

Successfully merging this pull request may close these issues.

Include baselined errors as notes option
3 participants