python / python/mypy

dmypy fails to see errors after changing path

Offen
#16,705 2 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug topic-daemon
Vorherrschende Sprache
Python
Sterne
20.6k
Forks
3.3k
PR-Merge-Kennzahlen
PR-Kennzahlen ausstehend

Beschreibung

Bug Report

It seems dmypy stops seeing errors when you give it exact paths.

To Reproduce

I have created a repository here with a command that creates a virtualenv and instructions on commands to run

https://github.com/delfick/mypy-daemon-bug

Expected Behavior

I expect to be able to run dmypy against different files in my project and have it still be able to see errors in files.

Actual Behavior

It appears that when dmypy is run with a different path in my project it loses the ability to see errors until the next time it is restarted

Your Environment

  • Mypy version used: 1.8.0
  • Mypy command-line flags: dmypy run -- <path>
  • Mypy configuration options from mypy.ini (and other config files): no configuration files
  • Python version used: 3.11.1

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Rechercherichtung

Beginne mit dem verknüpften Reproduktions-Repository und führe dessen dokumentierte Befehle mit dmypy 1.8.0 und Python 3.11.1 aus. Verfolge, wie dmypy run -- <path> aufeinanderfolgende exakte Pfade verarbeitet; als erledigt gilt die Aufgabe, wenn Fehler in Projektdateien nach einer Pfadänderung weiterhin sichtbar sind, ohne den Daemon neu zu starten.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
python
Bereich
cli, tooling
Issue-Typ
Bug
Schwierigkeit
3/5
Geschätzter Aufwand
1-2 Tage
Aktivitätsstatus
Veraltet
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
35/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.