Draft: Type patterns (#22478)
A very rough draft. The idea is:
- rename type patterns using a dedicated
rnHsTyPatinstead of relying onrnHsTyKi - use
collectPatsBindersto check for duplicate bindings
This closely mirrors term-level patterns.
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
A very rough draft. The idea is:
rnHsTyPat instead of relying on rnHsTyKi
collectPatsBinders to check for duplicate bindingsThis closely mirrors term-level patterns.