orbit-lang/Bootstrap

TypeChecker - Propagate SourcePosition

Ouverte

#4 ouverte le 16 mai 2021

Voir sur GitHub
 (0 commentaire) (0 réaction) (0 personne assignée)Kotlin (0 fork)auto 404
TypeCheckergood first issue

Métriques du dépôt

Stars
 (0 étoile)
Métriques de merge PR
 (Métriques PR en attente)

Description

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.

Guide contributeur

Direction de recherche
Recherchez comment les types sont crees dans le frontend et comment SourcePosition peut etre propage via l'interface TypeProtocol. Ensuite, mettez a jour TypeChecker pour utiliser la nouvelle SourcePosition pour les messages d'erreur.
Stack technique
kotlin
Domaine
compilers
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Ancienne
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Kotlin
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70