docs: clarify newline restriction in MatchesSubstring docstring
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 1/5
- Tiempo estimado
- Menos de una hora
- Aptitud para principiantes
- 58/100
- Tipo de issue
- Documentación
- Claridad
- Bien especificado
- Estado de actividad
- Estancado
- Área
- documentation
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.
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
- Lenguaje dominante
- Lean
- Estrellas
- 2
- Forks
- 1
- Métricas de merge de PR
- 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
- 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.
Más de lambdaclass/lambda_compiler_kit
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 68/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
-
enhancement
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 50/100
Todos los issues de lambdaclass/lambda_compiler_kit
Issues similares
-
Link Checker Report Abiertoautomated issue report
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
Humanity AI Abierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 90/100
numfocus/project-fundraising#166 ·
-
area:proxy bug security severity:low track:open-source
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100