New semantic analyzer: better error messages for cyclic cross-module definitions
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
This is a follow-up for https://github.com/python/mypy/pull/6527
The new analyzer gives to verbose (and a bit confusing) error in this case:
[case testNewAnalyzerCyclicDefinitionCrossModule]
import b
[file a.py]
import b
x = b.x # E: Cannot determine type of 'x'
[file b.py]
import a
x = a.x # E: Cannot resolve attribute "x", possible cyclic definition \
# E: Module has no attribute "x"
We can probably skip the second part by injecting a dummy Var with Any type in the a module namespace.
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
Comienza con el caso testNewAnalyzerCyclicDefinitionCrossModule mostrado en el issue y compara los diagnósticos esperados con el comportamiento del nuevo analizador. Lee el contexto posterior en el pull request 6527 y sigue cómo se resuelven los atributos cíclicos entre módulos. Se considera terminado cuando se elimina el diagnóstico redundante, mientras que el error útil de definición cíclica sigue estando cubierto por la prueba.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- compilers
- Tipo de issue
- Error
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 42/100