Remove the `$main` keyword
Offen
- 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
Bewertung
Dieses Issue wurde noch nicht bewertet.