Skip to content

[1033] 修复 (liii match) 中 ..1 模式匹配 - #1090

Merged
da-liii merged 2 commits into
mainfrom
da/1033/match_ellipsis_one
Oct 9, 2026
Merged

da-liii merged 2 commits into
mainfrom
da/1033/match_ellipsis_one

Conversation

@da-liii

@da-liii da-liii commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

What

  1. 修复 match-two 中 ..1 模式匹配规则,支持带尾部模式的 (p ..1 . r) 分发;
  2. 修复 match-gen-ellipsis 中 min-len 约束检验,支持 min-len = 1 时非空列表(且为 proper-list)及尾部模式的长度检验;
  3. 修复 match-vector 中对 ..1 的分发顺序与 match-gen-vector-ellipsis 长度检验;
  4. 完善 tests/liii/match/match-test.scm 中针对 ..1 模式匹配的全面测试用例(覆盖单一/多元素、空列表、非列表、尾部模式、嵌套解构、向量及衍生宏)。

@da-liii
da-liii force-pushed the da/1033/match_ellipsis_one branch from 621c5a1 to f11ea8e Compare October 9, 2026 07:40
@da-liii
da-liii merged commit 58c1f2a into main Oct 9, 2026
5 checks passed
@da-liii
da-liii deleted the da/1033/match_ellipsis_one branch October 9, 2026 07:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant