cryspen/hax

Support `let` without initialization

Offen

#156 geöffnet am 23.06.2023

Auf GitHub ansehenContributor Guide
 (0 Kommentare) (1 Reaktion) (0 zugewiesene Personen)OCaml (61 Forks)auto 404
enginehelp wantedkeep-openmarked-unimplementedunsupported-rust

Repository-Metriken

Stars
 (456 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 4T 22h) (42 gemergte PRs in 30 T)

Beschreibung

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)

Contributor Guide

Research-Richtung
Verstehe den Hax AST und implementiere die Übersetzung von let Mustern ohne Initialisierung, extrahiere Bindungen und generiere let Bindungen mit Option Typ, ersetze dann Vorkommen der Binder durch unwrap().
Tech Stack
rust
Domain
backend
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
RustOCaml
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40