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

Abierto Apto para principiantes
#31 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
1/5
Tiempo estimado
Menos de una hora
Aptitud para principiantes
72/100
Tipo de issue
Refactorización
Claridad
Bien especificado
Estado de actividad
Estancado
Área
compilers

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.

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
Lenguaje dominante
Lean
Estrellas
2
Forks
1
Sin PR fusionados en 30 d

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de lambdaclass/lambda_compiler_kit

Todos los issues de lambdaclass/lambda_compiler_kit

Issues similares

Más issues de Compilers

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.