Skip to content

testsuite: Add forall visibility test cases

Vladislav Zavialov requested to merge wip/int-index/vis-flag-tests into master

The added tests ensure that the type checker does not confuse visible and invisible foralls.

  • VisFlag1: kind-checking type applications and inferred type variable instantiations
  • VisFlag1_ql: kind-checking Quick Look instantiations
  • VisFlag2: kind-checking type family instances
  • VisFlag3: checking kind annotations on type parameters of associated type families
  • VisFlag4: checking kind annotations on type parameters in type declarations with SAKS
  • VisFlag5: checking the result kind annotation of data family instances

Merge request reports