Skip to content

XL-2: a wildcard pattern lowers to its own form, not an atom spelled _ - #12597

Merged
gunbai-bot[bot] merged 5 commits into
mainfrom
sharp-carp-336/wildcard-pattern-form
Sep 29, 2026
Merged

gunbai-bot[bot] merged 5 commits into
mainfrom
sharp-carp-336/wildcard-pattern-form

Merge remote-tracking branch 'origin/main' into sharp-carp-336/wildca…

b609f06
Select commit
Loading
Failed to load commit list.