0xMiden / 0xMiden/air-script

Remove the `$main` keyword

Aperta
#441 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
Lingua principale
Rust
Stelle
96
Fork
39
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

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_

Guida per i contributori

Apri la guida per i contributori

Direzione di ricerca

The issue mentions removing the `$main` keyword from the parser, MIR handling, and documentation. Start by locating the parser definition for keywords and trace accesses in the codebase. Look for files related to parsing and MIR (Mid-level IR) transformation. After removing the keyword, update any tests that reference `$main` and ensure the documentation is cleaned up. Verify the change by running the project's test suite.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
rust
Ambito
compilers
Tipo di issue
Refactoring
Difficoltà
3/5
Tempo stimato
1-2 giorni
Stato di attività
Ferma
Chiarezza
Specificata chiaramente
Idoneità per principianti
55/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.