lambdaclass / lambdaclass/lambda_compiler_kit
docs: clarify newline restriction in MatchesSubstring docstring
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
MatchesSubstring in Lck/Regex/Semantics.lean:59 does not document that .* in search mode does not match newlines, meaning MatchesSubstring finds matches within a single line only. Callers reasoning about multi-line inputs could be misled.
Expected fix
Add a note to the MatchesSubstring docstring explaining the newline boundary behaviour and its implication for multi-line inputs.
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 en la línea 59 y lee el docstring de MatchesSubstring junto con su comportamiento en el modo de búsqueda. Añade una nota que explique que .* no coincide con saltos de línea, por lo que las coincidencias permanecen dentro de una sola línea, y confirma que la documentación describe correctamente las entradas multilínea.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Área
- documentation
- Tipo de issue
- Documentación
- Dificultad
- 1/5
- Tiempo estimado
- Menos de una hora
- Estado de actividad
- Estancado
- Claridad
- Bien especificado
- Aptitud para principiantes
- 58/100