ruff
[red-knot] add new diagnostic reporter API and use it in some places
#17318
Merged
Overview
Commits
11
Changes
View On GitHub
Commits
  • red_knot_python_semantic: add "reporter" API
    BurntSushi committed 157 days ago
  • red_knot_python_semantic: remove `InferContext::report_diagnostic`
    BurntSushi committed 157 days ago
  • red_knot: add explicit test for concise `reveal_type` diagnostic
    BurntSushi committed 157 days ago
  • ruff_db: tweak how the revealed type diagnostic is rendered
    BurntSushi committed 157 days ago
  • red_knot_python_semantic: update revealed type snapshots
    BurntSushi committed 157 days ago
  • red_knot_python_semantic: replace one use of "old" secondary diagnostic messages
    BurntSushi committed 157 days ago
  • red_knot_python_semantic: remove the "old" secondary message type
    BurntSushi committed 157 days ago
  • red_knot_python_semantic: tweak docs on building reporter builders
    BurntSushi committed 157 days ago
  • ruff_db: use `Annotation::get_message` in more places
    BurntSushi committed 157 days ago
  • red_knot_python_semantic: rename `lint()` and `report()`
    BurntSushi committed 157 days ago
  • red_knot_python_semantic: move TODO comment
    BurntSushi committed 157 days ago
FAQ Terms Privacy Refunds Impressum
Loading