cryspen/hax

Support `let` without initialization

Aberta

#156 aberto em 23 de jun. de 2023

Ver no GitHubGuia do colaborador
 (0 comentário) (1 reação) (0 responsável)OCaml (61 forks)auto 404
enginehelp wantedkeep-openmarked-unimplementedunsupported-rust

Métricas do repositório

Stars
 (456 estrelas)
Métricas de merge de PR
 (Mesclagem média 4d 22h) (42 fundiu PRs em 30d)

Description

Hax doesn't support the following:

fn main() {
    let (x, y);
    x = 0;
    y = 0;
}

Draft plan to support let <PAT>; BODY:

  • translate the pattern PAT into our AST, extract bindings
  • for each binding, generate a let binding wrapped with in an option type
  • replace any occurrence of each binder b in BODY with b.unwrap() (or make everything a monad, but that's quite heavy)

Guia do colaborador

Direção de pesquisa
Entenda a AST do Hax e implemente a tradução de let pattern sem inicialização, extraindo as ligações e gerando let bindings com o tipo Option, depois substitua as ocorrências dos binders por unwrap().
Pilha de tecnologia
rust
Domain
backend
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.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
RustOCaml
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40