Check name uniqueness in mutually recursive definitions
Open
1. type inference
good first issue
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
The type checker should check whether all names in a `rec ... end` block are unique.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.