0xMiden / 0xMiden/air-script

identify & warn for identical periodic columns

Offen
#31 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
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

Beitragsleitfaden öffnen

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

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.