• eir@cis.upenn.edu's avatar
    Fix #10642. · 9f978b67
    eir@cis.upenn.edu authored
    Representational equalities cannot discharge nominal ones.
    Even if, somehow, this didn't cause a type error (as reported
    in the ticket), it would surely cause a core lint error.
    9f978b67
TcFlatten.hs 54.5 KB