orbit-lang/Bootstrap

TypeChecker - Propagate SourcePosition

Aberta

#4 aberto em 16 de mai. de 2021

Ver no GitHub
 (0 comentário) (0 reação) (0 responsável)Kotlin (0 fork)auto 404
TypeCheckergood first issue

Métricas do repositório

Stars
 (0 estrela)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

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.

Guia do colaborador

Direção de pesquisa
Pesquise como os tipos são criados no frontend e como SourcePosition pode ser propagado através da interface TypeProtocol. Em seguida, atualize o TypeChecker para usar o novo SourcePosition para mensagens de erro.
Pilha de tecnologia
kotlin
Domain
compilers
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Antigo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Kotlin
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
70