Skip to content

✨ feat(mq-lang): add or-pattern support in match expressions#1542

Merged
harehare merged 4 commits intomainfrom
feat/or-patterns
Apr 6, 2026
Merged

✨ feat(mq-lang): add or-pattern support in match expressions#1542
harehare merged 4 commits intomainfrom
feat/or-patterns

Conversation

@harehare
Copy link
Copy Markdown
Owner

@harehare harehare commented Apr 5, 2026

Add p1 || p2 || p3 syntax for matching multiple alternatives in a single match arm. Supports combining any pattern types: literals, type patterns, and nested patterns.

Add `p1 || p2 || p3` syntax for matching multiple alternatives in a
single match arm. Supports combining any pattern types: literals,
type patterns, and nested patterns.

- Add `OrPattern` CST node kind and parsing
- Add `Pattern::Or` AST variant and parsing
- Handle `OrPattern` in HIR lowering
- Handle `Pattern::Or` in evaluator (first matching alternative wins)
- Format or-patterns correctly in the formatter
- Add integration tests for or-pattern matching
- Document or-patterns in pattern_matching.md
@codspeed-hq
Copy link
Copy Markdown

codspeed-hq bot commented Apr 5, 2026

Merging this PR will not alter performance

✅ 29 untouched benchmarks


Comparing feat/or-patterns (de33afd) with main (d0cf19e)

Open in CodSpeed

@harehare harehare merged commit 0aa95e2 into main Apr 6, 2026
6 checks passed
@harehare harehare deleted the feat/or-patterns branch April 6, 2026 13:05
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