-
Richard Eisenberg authored
This change means that the intricate reasoning in TcErrors around getting messages just right for nominal equalities is skipped for representational equalities.
0de0b146
This change means that the intricate reasoning in TcErrors around getting messages just right for nominal equalities is skipped for representational equalities.