-
Richard Eisenberg authored
This adds the significant Note [Decomposing equalities] to TcCanonical, trying to sort out the various cases involved. The only functional change this commit should make is a different treatment of data families, which were wrong before (they could be decomposed at role R, which is wrong).
7eceffb3