Make candidateQTvs contain tyvar with zonked kinds

Authored by simonpj on Dec 21 2018, 5:11 AM.

Description

Make candidateQTvs contain tyvar with zonked kinds

candidateQTyVars was failing to return fully-zonked
tyvars, and that made things fall over chaotically
when we try to sort them into a well-scoped telescope.
Result: Trac Trac #15795

So I made candidateQTvs guarantee to have fully-zonked
tyvars (i.e. with zonked kinds). That's a bit annoying
but not really difficult.

Details

Committed
simonpjDec 21 2018, 5:14 AM
Parents
rGHC28f41f1a7a0e: Fix #16002 by moving a validity check to the renamer
Branches
Unknown
Tags
Unknown