• Matthías Páll Gissurarson's avatar
    Inform hole substitutions of typeclass constraints (fixes #14273). · 1e14fd3e
    Matthías Páll Gissurarson authored
    This implements SPJ's suggestion on the ticket (#14273). We find the
    relevant constraints (ones that whose free unification variables are all
    mentioned in the type of the hole), and then clone the free unification
    variables of the hole and the relevant constraints. We then add a
    subsumption constraints and run the simplifier, and then check whether
    all the constraints were solved.
    Reviewers: bgamari
    Reviewed By: bgamari
    Subscribers: RyanGlScott, rwbarton, thomie, carter
    GHC Trac Issues: #14273
    Differential Revision: https://phabricator.haskell.org/D4315
TcErrors.hs 130 KB