docs: clarify newline restriction in MatchesSubstring docstring
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 1/5
- Temps estimé
- Moins d'une heure
- Accessibilité débutants
- 58/100
- Type d'issue
- Documentation
- Clarté
- Clairement spécifiée
- Activité
- À l'abandon
- Domaine
- documentation
Piste de recherche
Ouvrez Lck/Regex/Semantics.lean à la ligne 59 et lisez la docstring de MatchesSubstring en parallèle de son comportement en mode recherche. Ajoutez une note expliquant que .* ne correspond pas aux retours à la ligne, de sorte que les correspondances restent sur une seule ligne, et confirmez que la documentation décrit correctement les entrées multilignes.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
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
- Langage dominant
- Lean
- Étoiles
- 2
- Forks
- 1
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Préparer son environnement
Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de lambdaclass/lambda_compiler_kit
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 72/100
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 68/100
-
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
-
Enable --wfail axiom-guard gate once warnings are cleanPeut-être pris Une pull request liée à cette issue est ouverte ou déjà fusionnée. Ouverteenhancement
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
-
Difficulté 2/5 1-3 heures Accessibilité débutants 50/100
Toutes les issues de lambdaclass/lambda_compiler_kit
Issues similaires
-
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
UNIVERSE-HPC/course-material#283 ·
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 72/100
supadata-ai/mcp#27 ·
-
area:space-accuracy good first issue track:data
Difficulté 2/5 1-3 heures Accessibilité débutants 85/100
Sara-Managed-Projects/space-radar#904 ·
Les mainteneurs répondent en général sous 1 jour
-
Changelog missig 5.7.6Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100