Skip to content

Improve error message for pattern matching in function definitions - #6217

Open
tfausak wants to merge 8 commits into
unisonweb:trunkfrom
tfausak:gh-793-pattern-matching
Open

Improve error message for pattern matching in function definitions#6217
tfausak wants to merge 8 commits into
unisonweb:trunkfrom
tfausak:gh-793-pattern-matching

Update proofs

f2fb5e0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check-contributor
succeeded May 13, 2026 in 6s