CakeML/cakeml

Remove unnecessary header words

Aberta

#142 aberto em 1 de set. de 2016

Ver no GitHub
 (1 comentário) (0 reação) (1 responsável)Standard ML (98 forks)auto 404
enhancementhelp wantedmedium effortmedium rewardperformance

Métricas do repositório

Stars
 (1.169 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

For data whose tag and length can be completely represented in its pointer, there should be no need for a header word. This involves changing the data_to_wordProps invariants.

Guia do colaborador

Direção de pesquisa
Examine o invariante `data to wordProps` no código fonte do CakeML para entender como as palavras de cabeçalho são usadas atualmente para dados cuja tag e comprimento cabem em um ponteiro. Em seguida, proponha uma alteração para eliminar a palavra de cabeçalho nesses casos, garantindo que o invariante seja atualizado adequadamente.
Pilha de tecnologia
None
Domain
compilers
Tipo Issue
Refatoração
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
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.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
GitBasic understanding of ML and compilers
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
60