• Simon Peyton Jones's avatar
    Take account of kinds in promoteTcType · 08ba691a
    Simon Peyton Jones authored
    One of the ASSERT failures in Trac #12762, namely the one for T4439,
    showed that I had not dealt correctly with promoting the kind of
    a type in promoteTcType.
    Happily I could fix this by simplifying InferRes (eliminating the
    ir_kind field), so things get better. And the ASSERT is fixed.
T9222.stderr 739 Bytes