api: CompiledRegex should carry its MatchMode to prevent silent misuse
还没有人认领这个 Issue。
评估
调研方向
首先定位 CompiledRegex、compile、matchCompiled、searchCompiled 和 desugar，然后检查 LckGrep.lean 中的 CLI 入口点以及受影响的测试。确定提议的 API 形式中哪一种是预期的，更新调用方和测试，并验证不匹配的匹配模式不再能够被静默使用。
由索引模型根据 Issue 内容生成。
描述
Problem
CompiledRegex stores only nfa : GlushkovNfa with no record of the MatchMode used during compilation. Both matchCompiled and searchCompiled call the identical Glushkov.matchString underneath — the mode distinction is only enforced inside desugar (which wraps unanchored patterns with .* in search mode).
This means a caller who compiles with .search and then calls matchCompiled instead of searchCompiled silently gets wrong semantics — no error, no warning.
-- Silent misuse: compiled for search, used as fullMatch
let compiled ← compile pattern .search
let result := matchCompiled compiled input -- wrong! should be searchCompiled
Proposed fix
Add a mode : MatchMode field to CompiledRegex and assert (or dispatch) on it in matchCompiled/searchCompiled:
structure CompiledRegex where
nfa : Glushkov.GlushkovNfa
mode : MatchMode
deriving Repr
Option A: panic/error if wrong function called for mode.
Option B: merge into a single runCompiled that dispatches based on stored mode.
Option C: remove matchCompiled/searchCompiled and expose only runCompiled.
Option C (single entry point) is cleanest — callers can't pick the wrong function.
Impact
Breaking API change for matchCompiled/searchCompiled. The CLI (LckGrep.lean) and tests need updating.
- 主要语言
- Lean
- 星标
- 2
- 派生
- 1
- PR 合并指标
- 30 天内没有已合并 PR
贡献指南
这个仓库没有索引到贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
lambdaclass/lambda_compiler_kit 的其他 Issue
-
难度 1/5 1 小时以内 新手友好度 72/100
-
难度 1/5 1 小时以内 新手友好度 68/100
-
难度 2/5 1-3 小时 新手友好度 68/100
-
enhancement
难度 4/5 3-5 天 新手友好度 48/100
-
难度 2/5 1-3 小时 新手友好度 50/100
查看 lambdaclass/lambda_compiler_kit 的全部 Issue
相似的 Issue
-
area: harness bug status: needs-triage
难度 2/5 1-3 小时 新手友好度 75/100
Human-Agent-Society/reef#625 ·
-
module: core
难度 2/5 1-3 小时 新手友好度 75/100
bigbluebutton/bigbluebutton#25849 ·
-
难度 2/5 1-3 小时 新手友好度 75/100
vercel-labs/just-bash#464 ·
-
难度 2/5 1-3 小时 新手友好度 75/100
-
area:sandbox documentation enhancement platform:linux
难度 1/5 1 小时以内 新手友好度 85/100
anthropics/claude-code#96664 ·