Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

refactor: remove unnecessary import of Parser.lean from Semantics.lean

Aperta Adatta ai principianti
#31 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
1/5
Tempo stimato
Meno di un'ora
Idoneità per principianti
72/100
Tipo di issue
Refactoring
Chiarezza
Specificata chiaramente
Stato di attività
Ferma
Ambito
compilers

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.

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
Lingua principale
Lean
Stelle
2
Fork
1
Nessuna PR unita negli ultimi 30g

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di lambdaclass/lambda_compiler_kit

Tutte le issue di lambdaclass/lambda_compiler_kit

Issue simili

Altre issue su Compilers

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.