Skip to content
  • Ryan Scott's avatar
    Normalise EmptyCase types using the constraint solver · e72d7880
    Ryan Scott authored and Krzysztof Gogolewski's avatar Krzysztof Gogolewski committed
    Summary:
    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
    e72d7880