-
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.
b13c6fe9
This change means that the intricate reasoning in TcErrors around getting messages just right for nominal equalities is skipped for representational equalities.