New semantic analyzer: Refactor handling of is_inferred_def & co
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
There are several things that hold information about whether a type of variable should be inferred or not:
RefExpr.is_new_defRefExpr.is_inferred_defVar.is_readyVar.is_inferredTypeChecker.is_definition()
Such a variety of things is partially caused by the fact that special definitions like named tuples etc. used to have a Var() to which the lvalue was pointing. With the new analyzer we don't have this, so it would be good to clean-up/refactor the logic around inference after we merge the two analyzers.
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
No se nombran archivos ni pruebas. Empieza revisando RefExpr.is_new_def, RefExpr.is_inferred_def, Var.is_ready, Var.is_inferred y TypeChecker.is_definition() después de fusionar los dos analizadores; se considera terminado cuando el estado de inferencia se gestiona de forma coherente, sin las suposiciones obsoletas de Var sobre definiciones especiales.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- compilers
- Tipo de issue
- Refactorización
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Estado de actividad
- Estancado
- Claridad
- Necesita aclaración
- Aptitud para principiantes
- 25/100