python / python/mypy

dmypy fails to see errors after changing path

Abierto
#16,705 2 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

bug topic-daemon
Lenguaje dominante
Python
Estrellas
20.6k
Forks
3.3k
Métricas de merge de PR
Métricas de PR pendientes

Descripción

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

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

Comienza con el repositorio de reproducción enlazado y ejecuta sus comandos documentados usando dmypy 1.8.0 y Python 3.11.1. Rastrea cómo dmypy run -- <path> gestiona rutas exactas sucesivas; se considera terminado cuando los errores en los archivos del proyecto siguen visibles después de cambiar la ruta sin reiniciar el daemon.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
python
Área
cli, tooling
Tipo de issue
Error
Dificultad
3/5
Tiempo estimado
1-2 días
Estado de actividad
Estancado
Claridad
Bastante claro
Aptitud para principiantes
35/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.