New semantic analyzer: Refactor handling of is_inferred_def & co
Nessuno ha ancora preso questa issue.
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
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.
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Non vengono indicati file o test. Inizia esaminando RefExpr.is_new_def, RefExpr.is_inferred_def, Var.is_ready, Var.is_inferred e TypeChecker.is_definition() dopo l’unione dei due analizzatori; il lavoro è completo quando lo stato di inferenza viene gestito in modo coerente, senza le obsolete assunzioni di Var sulle definizioni speciali.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- compilers
- Tipo di issue
- Refactoring
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Stato di attività
- Ferma
- Chiarezza
- Da chiarire
- Idoneità per principianti
- 25/100