orbit-lang/Bootstrap

TypeChecker - Propagate SourcePosition

Aperta

#4 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

Currently, information about source positions & tokens is effectively thrown away after the frontend phase is complete, because Types do not currently capture source positions from their source nodes. It should be fairly simple to extend the TypeProtocol interface to capture a meaningful SourcePosition in most cases.

This metadata is useful for propagating good error messages. Currently, errors & warnings from the TypeChecker phase are reported as occurring at SourcePosition (line: 0, offset: 0), which is obviously bad.

Guida contributor

Direzione di ricerca
Ricerca come vengono creati i tipi nel frontend e come SourcePosition può essere propagato attraverso l'interfaccia TypeProtocol. Quindi aggiorna TypeChecker per utilizzare il nuovo SourcePosition per i messaggi di errore.
Tech stack
kotlin
Dominio
compilers
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Kotlin
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70