basedmypy
basedmypy copied to clipboard
Published
20 hours ago •
KotlinIsland
KotlinIsland
fail if there's an error in the baseline that's no longer there
Like this?
> echo "a: str = 1" > test.py
> mypy --write-baseline test.py
test.py: error: expected str found int
wrote to baseline
> echo "a: str = '1'" > test.py
> mypy test.py
test.py: error: found missing error! please remove the missing error to continue
Due to auto-baseline covering most of this use case I'm marking this as low.
This looks to me as though it is asking the user to manually edit the baseline file. Is that what was intended? When would it be needed (or even useful)?
no it's just to make sure the baseline is always up to date. something like this would be good for CI i think
I think it would make sense to use a different return code for this as well, so the CI can tell what has happened without needing to parse the output.