CakeML/cakeml

Implement make_ex in CakeML

Aberta

#380 aberto em 17 de nov. de 2017

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

Métricas do repositório

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

Description

Following #350 we now have a small SML program to generate the tutorial exercises, currently at tutorial/solutions/make_ex.sml. This issue is to re-implement this program in CakeML instead (including automatically generating the executable and using it in the relevant Holmakefile), in part to ensure our infrastructure is up to scratch.

The program might also be better in the developers directory, but that will depend on how the "build a CakeML program" aspect is handled.

Guia do colaborador

Direção de pesquisa
Estude o programa make ex.sml existente em tutorial/solutions, depois aprenda como escrever e compilar um programa CakeML e, por fim, integre o executável gerado no Holmakefile.
Pilha de tecnologia
None
Domain
toolingbuild system
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.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
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 MLCakeMLHolmake
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40