Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make the "duplicate pattern variable" message more informative
Having the `sym` and `pattern-vars` info makes it possible to guess which expression the error concerns.
- Loading branch information