-
Simon Peyton Jones authored
Type.mkEqPred has an assertion warning for kind compatibility. But during type checking we may form equality predicates with incompatible kinds; hence TcType.mkTcEqPred, which does not check. We were calling the former instead of the latter in a couple of places, leading to spurious debug warnings.
8668c549