lambdaclass / lambdaclass/lambda_compiler_kit
refactor: remove unnecessary import of Parser.lean from Semantics.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
Lck/Regex/Semantics.lean imports Parser.lean unnecessarily. Semantics should depend only on Syntax.lean — pulling in the parser creates an unwanted coupling and increases compile times for anything that imports Semantics.lean.
Expected fix
Remove the import Lck.Regex.Parser from Semantics.lean and verify that the file still compiles.
References
- Flagged by AI code review on PR #9
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
Öffne Lck/Regex/Semantics.lean und überprüfe seine Imports, beginnend mit der Abhängigkeit von Lck/Regex/Parser. Entferne den unnötigen Import und verifiziere, dass Semantics.lean weiterhin kompiliert; abgeschlossen ist die Aufgabe, wenn die Datei ohne die Parser-Abhängigkeit gebaut wird.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Bereich
- compilers
- Issue-Typ
- Refactoring
- Schwierigkeit
- 1/5
- Geschätzter Aufwand
- Unter einer Stunde
- Aktivitätsstatus
- Veraltet
- Klarheit
- Klar beschrieben
- Anfängerfreundlichkeit
- 72/100