CakeML/cakeml

Support for multi-case functions defined by pattern matching

Aberta

#264 aberto em 23 de abr. de 2017

Ver no GitHub
 (8 comentários) (0 reação) (2 responsáveis)Standard ML (98 forks)auto 404
enhancementhelp wantedhigh effortlow rewarduser experience

Métricas do repositório

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

Description

Function declarations currently only accept variables as arguments, but in SML one can do pattern matching with a declaration. CakeML AST does not support that, but the parser could generate the corresponding case expression on the tuple of argument variables. Or the AST could be augmented, if necessary, to do something more sophisticated.

Guia do colaborador

Direção de pesquisa
Estude o parser e o AST do CakeML para entender como a correspondência de padrões em declarações de funções pode ser transformada em expressões case em tuplas de argumentos.
Pilha de tecnologia
None
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.
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
SMLGitCompiler Design
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
30