orbit-lang/Bootstrap

TypeChecker - Capture Types in AST

Aperta

#5 aperta il 16 mag 2021

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Kotlin (0 fork)auto 404
TypeCheckergood first issue

Metriche repository

Star
 (0 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

TypeResolvers should annotate their source nodes with their result types, in much the same way as the name resolvers annotate their source nodes with a Path.

Bonus points if this can be done automatically (i.e. without having to manually call node.annotate(type, Annotations.Type))!

Guida contributor

Direzione di ricerca
Esamina il risolutore di nomi esistente per capire come annota i nodi con Path, quindi applica un approccio simile per TypeResolvers per annotare i nodi con i tipi. Prendi in considerazione l'utilizzo di un delegato o di un meccanismo di annotazione automatica.
Tech stack
kotlin
Dominio
compilers
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
KotlinCompiler architecture
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40