Hacktoberfest 2026: the issues maintainers tagged for October, open and beginner-friendly. Browse Hacktoberfest issues

docs: clarify newline restriction in MatchesSubstring docstring

Open
#32 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
1/5
Estimated time
Under an hour
Newbie friendliness
58/100
Issue type
Documentation
Clarity
Clearly specified
Activity status
Stale
Domain
documentation

Research direction

Open Lck/Regex/Semantics.lean at line 59 and read the MatchesSubstring docstring alongside its search-mode behavior. Add a note explaining that .* does not match newlines, so matches remain within a single line, and confirm the documentation accurately describes multi-line inputs.

Written by the indexing model from the issue text.

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
Dominant language
Lean
Stars
2
Forks
1
No merged PRs in 30d

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from lambdaclass/lambda_compiler_kit

All issues in lambdaclass/lambda_compiler_kit

Similar issues

More Documentation issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.