cryspen/hax

Support `let` without initialization

Ouverte

#156 ouverte le 23 juin 2023

Voir sur GitHubGuide contributeur
 (0 commentaire) (1 réaction) (0 personne assignée)OCaml (61 forks)auto 404
enginehelp wantedkeep-openmarked-unimplementedunsupported-rust

Métriques du dépôt

Stars
 (456 étoiles)
Métriques de merge PR
 (Merge moyen 4j 22h) (42 PRs mergées en 30 j)

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)

Guide contributeur

Direction de recherche
Comprendre l'AST de Hax et implémenter la traduction de let pattern sans initialisation, en extrayant les liaisons et en générant des let bindings avec le type Option, puis remplacer les occurrences des binders par unwrap().
Stack technique
rust
Domaine
backend
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
RustOCaml
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40