CakeML/cakeml

Reduce GiveUps in data_to_word

Aberta

#186 aberto em 26 de nov. de 2016

Ver no GitHub
 (1 comentário) (0 reação) (0 responsável)Standard ML (98 forks)auto 404
good first issuehelp wantedlow effortmedium reward

Métricas do repositório

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

Description

Some of the GiveUps in data_to_word could be compiler failures rather than generating code that aborts at runtime. This is better for the user since the failure is caught earlier. However, it requires making the compiler able to fail (CompileError) at data_to_word. For example, Cons tag becomes GiveUp if tag < dimword (:'a) DIV 16 which is decidable at compile time.

(An alternative hack, maybe, is to produce code that will produce an encoding error in asm (i.e., a jump that's too big). Probably too hard and hacky.)

Guia do colaborador

Direção de pesquisa
Examine a função data to word no compilador CakeML para identificar locais de GiveUp que podem ser decididos em tempo de compilação. Para cada GiveUp, determine como produzir um CompileError em vez disso, exigindo a modificação do tipo de retorno da função para permitir falhas. Foco em casos como Cons tag onde o valor da tag é conhecido em tempo de compilação e pode ser verificado em relação à restrição dimword.
Pilha de tecnologia
None
Domain
backendcompilers
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.
4
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
3-5 dias
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
Standard MLcompiler design
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
10