• eir@cis.upenn.edu's avatar
    Fix #9085. · 6a1d7f97
    eir@cis.upenn.edu authored
    Inaccessible equations in a closed type family now leads to a
    warning, not an error. This echoes what happens at the term level.
    6a1d7f97
TcTyClsDecls.lhs 94.4 KB