• Richard Eisenberg's avatar
    Fix #12176 by being a bit more careful instantiating. · 1696dbf4
    Richard Eisenberg authored
    Previously, looking up a TyCon that said "no" to mightBeUnsaturated
    would then instantiate all of its invisible binders. But this is
    wrong for vanilla type synonyms, whose RHS kind might legitimately
    start with invisible binders. So a little more care is taken now,
    only to instantiate those invisible binders that need to be (so that
    the TyCon isn't unsaturated).
TcHsType.hs 93.1 KB