Skip to content

GitLab

GHC
GHC
Switch branch/tag
Find file BlameHistoryPermalink
  • 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