• Simon Peyton Jones's avatar
    Simplify the logic for tc_hs_sig_type · 1e06d8b8
    Simon Peyton Jones authored
    In fixing Trac #13337, and introducing solveSomeEqualities,
    Richard introduce the higher-order function tc_hs_sig_type_x,
    with a solver as its argument.
    It turned out that there was a much simpler way to do the
    same thing, which this patch implements.  Less code, easier
    to grok.  No change in behaviour though.
TcHsType.hs 89.2 KB