• Ryan Scott's avatar
    Normalise EmptyCase types using the constraint solver · e72d7880
    Ryan Scott authored
    Certain `EmptyCase` expressions were mistakently producing
    warnings since their types did not have as many type families reduced
    as they could have. The most direct way to fix this is to normalise
    these types initially using the constraint solver to solve for any
    local equalities that may be in scope.
    Test Plan: make test TEST=T14813
    Reviewers: simonpj, bgamari, goldfire
    Reviewed By: simonpj
    Subscribers: rwbarton, carter
    GHC Trac Issues: #14813
    Differential Revision: https://phabricator.haskell.org/D5094
MonadUtils.hs 7.2 KB