lambdaclass / lambdaclass/lambda_compiler_kit
refactor: remove unnecessary import of Parser.lean from Semantics.lean
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- Lean
- Estrellas
- 2
- Forks
- 1
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
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
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
Abre Lck/Regex/Semantics.lean e inspecciona sus imports, comenzando por la dependencia de Lck/Regex/Parser. Elimina el import innecesario y verifica que Semantics.lean siga compilando; se considera completado cuando el archivo se construya sin la dependencia del parser.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Área
- compilers
- Tipo de issue
- Refactorización
- Dificultad
- 1/5
- Tiempo estimado
- Menos de una hora
- Estado de actividad
- Estancado
- Claridad
- Bien especificado
- Aptitud para principiantes
- 72/100