Remove the `$main` keyword
- 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
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