identify & warn for identical periodic columns
- Vorherrschende Sprache
- Rust
- Sterne
- 96
- Forks
- 39
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
Comment for the future: what should we do if two periodic columns are identical (same cycle length and values)? Should it be an error? A warning? Or something else?
_Originally posted by @bobbinth in https://github.com/0xPolygonMiden/air-dsl/pull/24#discussion_r1003624902_
This should probably be handled as a warning.
We could also consider doing an optimization to identify duplicate periodic columns and always reference the one that was declared first instead, then remove the duplicate from the generated Air. This may be more work than it's worth though, and is lower priority than issuing a warning.
Beitragsleitfaden
Rechercherichtung
Suchen Sie nach der Behandlung periodischer Spalten im AIR-DSL-Compiler, wahrscheinlich in einem Parsing- oder Validierungsmodul. Das Issue erwähnt eine PR-Diskussion; überprüfen Sie die verlinkte PR #24 für den Kontext. Identifizieren Sie, wo periodische Spalten definiert und geprüft werden, und implementieren Sie dann eine Warnung für identische Spalten. Das Testen umfasst das Erstellen eines Skripts mit doppelten periodischen Spalten und die Überprüfung, ob die Warnung erscheint.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- rust
- Bereich
- compilers
- Issue-Typ
- Feature
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 45/100