0xMiden / 0xMiden/air-script

Vector Slice Expansion in Evaluator Calls

Aperta
#486 0 commenti 0 reazioni 1 assegnatario Rivendicata da @Soulthym Vedi su GitHub
IR
Lingua principale
Rust
Stelle
96
Fork
39
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

### Problem Description

The compiler fails to properly expand vector slice arguments when evaluators call other evaluators, leading to argument count mismatches.

### Minimal Example

```air
ev chiplets_constraints([chiplets[20]]) {
enf chiplet_selectors([chiplets[0..5]]); // Should expand slice to 5 args
}

ev chiplet_selectors([s[5]]) { // Expects 5 individual parameters
enf is_binary([s[0]]);
enf is_binary([s[1]]) when s[0];
enf is_binary([s[2]]) when s[0] & s[1];
enf is_binary([s[3]]) when s[0] & s[1] & s[2];
enf is_binary([s[4]]) when s[0] & s[1] & s[2] & s[3];
}
```

Guida per i contributori

Apri la guida per i contributori

Direzione di ricerca

Look at the evaluator call expansion logic in the compiler, likely in a module handling vector slices. The issue shows a slice `chiplets[0..5]` that should expand to 5 arguments when calling `chiplet_selectors`. Start by finding where evaluator calls are processed and how arguments are counted. Check test files for existing evaluator call expansion tests to understand the expected behavior.

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

Valutazione

Stack tecnologico
rust
Ambito
compilers
Tipo di issue
Bug
Difficoltà
4/5
Tempo stimato
3-5 giorni
Stato di attività
Ferma
Chiarezza
Abbastanza chiara
Idoneità per principianti
45/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.