lambdaclass / lambdaclass/lambda_compiler_kit
refactor: remove unnecessary import of Parser.lean from Semantics.lean
Nessuno ha ancora preso questa issue.
- Lingua principale
- Lean
- Stelle
- 2
- Fork
- 1
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
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
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Apri Lck/Regex/Semantics.lean e ispeziona i suoi import, iniziando dalla dipendenza da Lck/Regex/Parser. Rimuovi l’import non necessario e verifica che Semantics.lean continui a compilare; il lavoro è completato quando il file viene compilato senza la dipendenza dal parser.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Ambito
- compilers
- Tipo di issue
- Refactoring
- Difficoltà
- 1/5
- Tempo stimato
- Meno di un'ora
- Stato di attività
- Ferma
- Chiarezza
- Specificata chiaramente
- Idoneità per principianti
- 72/100