-
Simon Peyton Jones authored
Use sub-kind rather than kind-equality check in matchTys, just as we do in TcUnify. This is someting I failed to do when shifting to the funky new kind representation.
a6001411
Use sub-kind rather than kind-equality check in matchTys, just as we do in TcUnify. This is someting I failed to do when shifting to the funky new kind representation.