0xMiden / 0xMiden/air-script

Remove the `$main` keyword

Offen
#441 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
Rust
Sterne
96
Forks
39
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

As we now only expose the main trace in the frontend (the aux trace being derived from buses), we should remove the `$main` keyword used to access the i-th column with the binding `$main[i]`.

It should be removed from the parser, the handling of trace accesses in the MIR, and from the documentation.

_Originally posted by @bobbinth in https://github.com/0xMiden/air-script/pull/438#pullrequestreview-3104259358_

Beitragsleitfaden

Beitragsleitfaden öffnen

Rechercherichtung

Das Issue erwähnt, dass das Schlüsselwort `$main` aus dem Parser, der MIR-Verarbeitung und der Dokumentation entfernt werden soll. Beginnen Sie damit, die Parser-Definition für Schlüsselwörter zu lokalisieren und Zugriffe im Codebase nachzuverfolgen. Suchen Sie nach Dateien, die mit Parsing und MIR-Transformation (Mid-level IR) zu tun haben. Nachdem Sie das Schlüsselwort entfernt haben, aktualisieren Sie alle Tests, die auf `$main` verweisen, und stellen Sie sicher, dass die Dokumentation bereinigt wird. Überprüfen Sie die Änderung, indem Sie die Testsuite des Projekts ausführen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
rust
Bereich
compilers
Issue-Typ
Refactoring
Schwierigkeit
3/5
Geschätzter Aufwand
1-2 Tage
Aktivitätsstatus
Veraltet
Klarheit
Klar beschrieben
Anfängerfreundlichkeit
55/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.