orbit-lang/Bootstrap

TypeChecker - Propagate SourcePosition

Offen

#4 geöffnet am 16.05.2021

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Kotlin (0 Forks)auto 404
TypeCheckergood first issue

Repository-Metriken

Stars
 (0 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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.

Contributor Guide

Research-Richtung
Recherchieren Sie, wie Typen im Frontend erstellt werden und wie SourcePosition über die TypeProtocol Schnittstelle propagiert werden kann. Aktualisieren Sie dann den TypeChecker, um die neue SourcePosition für Fehlermeldungen zu verwenden.
Tech Stack
kotlin
Domain
compilers
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Veraltet
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Kotlin
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
70