Skip to content

Capture scoped kind variables at type-checking phase (#16635)

Andrei Borzenkov requested to merge wip/sand-witch/#16635-improve-errors into master

Sort of fixed #16635 (closed)

I implemented the approach described in this comment of @int-index: now GHC reports about that it cannot make /\ a -> Type ... @a ... instead of non-informative reporting that type variable is not in scope unlike it is in term level.

Merge request reports