Skip to content

Fix issue with pattern matching empty list which interferes with bool…#7237

Merged
cristianoc merged 1 commit intomasterfrom
pattern-match-empty-list
Jan 10, 2025
Merged

Fix issue with pattern matching empty list which interferes with bool…#7237
cristianoc merged 1 commit intomasterfrom
pattern-match-empty-list

Commits

Commits on Jan 9, 2025