• Simon Peyton Jones's avatar
    Tidy up partial-sig quantification · 9dbf5f5c
    Simon Peyton Jones authored
    There's a messy bit of tcSimplifyInfer which concerns how
    quantify when partial type signatures are involved. This
    patch tidies it up a lot.
    Notice that decideQuantification and quantify_tvs get
    much simpler.  And previously the inferred type of a
    function could be cluttered with phantom variables that
    were relevant only to the error messgas.
    See Note [Quantification and partial signatures].
TcSimplify.hs 88.4 KB