• eir@cis.upenn.edu's avatar
    Fix #11648. · 55577a91
    eir@cis.upenn.edu authored
    We now check that a CUSK is really a CUSK and issue an error if
    it isn't. This also involves more solving and zonking in
    kcHsTyVarBndrs, which was the outright bug reported in #11648.
    Test cases: polykinds/T11648{,b}
    This updates the haddock submodule.
    [skip ci]
RnTypes.hs 69.2 KB