-
Simon Peyton Jones authored
This patch mainly introduces TcValidity.checkConsistendFamInst, and uses it when typechecking type-family instances, *including* default instances. I find I can't remember why I began this particular saga, but it's a modest improvement I think.
bcbfdd03