• Richard Eisenberg's avatar
    Remove solveSomeEqualities · 3cfee57a
    Richard Eisenberg authored
    I had thought that it was necessary to solve kind-level equalities
    before validity-checking a type, but I was wrong. This patch simply
    deletes code. Hooray!
    3cfee57a
TcHsType.hs 87.9 KB