• Richard Eisenberg's avatar
    Kind-check CUSK associated types separately · 030211d2
    Richard Eisenberg authored
    Previously, we kind-checked associated types while while still
    figuring out the kind of a CUSK class. This caused trouble, as
    documented in Note [Don't process associated types in kcLHsQTyVars]
    in TcTyClsDecls. This commit moves this process after the initial
    kind of the class is determined.
    
    Fixes #15142.
    
    Test case: indexed-types/should_compile/T15142.hs
    030211d2
Name
Last commit
Last update
.arc-linters Loading commit data...
.circleci Loading commit data...
bindisttest Loading commit data...
compiler Loading commit data...
distrib Loading commit data...
docs Loading commit data...
driver Loading commit data...
ghc Loading commit data...
hadrian @ a63ad329 Loading commit data...
includes Loading commit data...
inplace Loading commit data...
libffi Loading commit data...
libffi-tarballs @ 96d02800 Loading commit data...
libraries Loading commit data...
mk Loading commit data...
nofib @ a3b0f2b2 Loading commit data...
rts Loading commit data...
rules Loading commit data...
testsuite Loading commit data...
utils Loading commit data...
.appveyor.sh Loading commit data...
.arcconfig Loading commit data...
.arclint Loading commit data...
.gitignore Loading commit data...
.gitmodules Loading commit data...
.mailmap Loading commit data...
.travis.yml Loading commit data...
ANNOUNCE Loading commit data...
HACKING.md Loading commit data...
INSTALL.md Loading commit data...
LICENSE Loading commit data...
MAKEHELP.md Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
Vagrantfile Loading commit data...
aclocal.m4 Loading commit data...
appveyor.yml Loading commit data...
boot Loading commit data...
build.nix.sh Loading commit data...
config.guess Loading commit data...
config.sub Loading commit data...
configure.ac Loading commit data...
ghc.mk Loading commit data...
install-sh Loading commit data...
llvm-passes Loading commit data...
llvm-targets Loading commit data...
packages Loading commit data...
settings.in Loading commit data...
validate Loading commit data...