ruff
bd58135b - red_knot_python_semantic: rename `lint()` and `report()`

Commit

157 days ago

red_knot_python_semantic: rename `lint()` and `report()` ... to `report_lint()` and `report_diagnostic()`. And rename the old `report_lint()` to `report_lint_old()`.

References

#17318 - [red-knot] add new diagnostic reporter API and use it in some places

Author

BurntSushi

Committer

BurntSushi

Parents

81045758

ruff bd58135b - red_knot_python_semantic: rename `lint()` and `report()`

ruff
bd58135b - red_knot_python_semantic: rename `lint()` and `report()`