New semantic analyzer: Refactor handling of is_inferred_def & co
Personne n'a encore pris cette issue.
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Métriques de merge des PR
- Métriques de PR en attente
Description
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.
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Aucun fichier ni test n’est nommé. Commencez par examiner RefExpr.is_new_def, RefExpr.is_inferred_def, Var.is_ready, Var.is_inferred et TypeChecker.is_definition() après la fusion des deux analyseurs ; le travail est terminé lorsque l’état d’inférence est géré de manière cohérente, sans les hypothèses obsolètes de Var concernant les définitions spéciales.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- compilers
- Type d'issue
- Refactorisation
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Activité
- À l'abandon
- Clarté
- À clarifier
- Accessibilité débutants
- 25/100