lambdaclass / lambdaclass/lambda_compiler_kit
nit: fix misleading traversal-order comments in Syntax.lean and Parser.lean
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Lean
- Sterne
- 2
- Forks
- 1
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
Problem
Comments in Lck/Json/Syntax.lean:151-153 and Lck/Json/Parser.lean:68-70 describe traversal order inaccurately. The actual traversal is right-to-left (tail processed first), but the comments do not reflect this.
Expected fix
Update the comments to accurately describe that elements are processed tail-first (right-to-left order), matching the actual implementation.
References
- Flagged by AI code review on PR #8
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne damit, die Kommentare in Lck/Json/Syntax.lean:151-153 und Lck/Json/Parser.lean:68-70 zu lesen, und vergleiche sie dann mit der Traversierungsimplementierung. Aktualisiere beide Kommentare so, dass sie angeben, dass die Verarbeitung tail-first in einer Reihenfolge von rechts nach links erfolgt. Das Issue ist abgeschlossen, wenn die Kommentare der Implementierung genau entsprechen.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Bereich
- compilers
- Issue-Typ
- Dokumentation
- Schwierigkeit
- 1/5
- Geschätzter Aufwand
- Unter einer Stunde
- Aktivitätsstatus
- Veraltet
- Klarheit
- Klar beschrieben
- Anfängerfreundlichkeit
- 68/100