• Simon Peyton Jones's avatar
    Use mkTcEqPred rather than mkEqPred in the type checker · 8668c549
    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.
TcErrors.lhs 60.1 KB