Skip to content

Draft: Type patterns (#22478)

Vladislav Zavialov requested to merge wip/int-index/tyconpat-scoping into master

A very rough draft. The idea is:

  • rename type patterns using a dedicated rnHsTyPat instead of relying on rnHsTyKi
  • use collectPatsBinders to check for duplicate bindings

This closely mirrors term-level patterns.

Merge request reports