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.

Sign up for GitHub

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

Jump to bottom

Include baselined errors as notes option #111

Open
Tracked by #481
DetachHead opened this issue Dec 21, 2021 · 2 comments · May be fixed by #351
Open
Tracked by #481

Include baselined errors as notes option #111

DetachHead opened this issue Dec 21, 2021 · 2 comments · May be fixed by #351
Labels
basedline feature p-2 normal

Comments

@DetachHead
Copy link
Collaborator

DetachHead commented Dec 21, 2021 •
edited by KotlinIsland
Loading

This would be useful when invoked from an IDE, not so much from the cli.

What if it said "baseline" instead of "note"?

demo.py:1:1: baseline: bad code  [bad-code]

Related #117
@DetachHead
Copy link
Collaborator Author

going to rename #109 instead of using this separate issue

@KotlinIsland KotlinIsland reopened this Dec 21, 2021
@KotlinIsland
Copy link
Owner

#109 is more broad with several features,

@KotlinIsland KotlinIsland changed the title output baselined errors as notes output baselined errors as notes option Mar 4, 2022
@KotlinIsland KotlinIsland added the p-2 normal label Mar 4, 2022
@KotlinIsland KotlinIsland changed the title output baselined errors as notes option Include baselined errors as notes option Mar 18, 2022
@DetachHead DetachHead mentioned this issue Mar 18, 2022
Closed
@KotlinIsland KotlinIsland added this to the 1.4 milestone Mar 24, 2022
@KotlinIsland KotlinIsland linked a pull request Jul 16, 2022 that will close this issue
Draft
@KotlinIsland KotlinIsland removed this from the 1.4 milestone Jan 28, 2023
@KotlinIsland KotlinIsland mentioned this issue Feb 26, 2023
Closed
@KotlinIsland KotlinIsland mentioned this issue Jul 5, 2023
Closed
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
basedline feature p-2 normal
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Baseline as notes KotlinIsland/basedmypy
2 participants
@DetachHead @KotlinIsland