• Facundo Domínguez's avatar
    Have reify work for local variables with functional dependencies. · 231a3ae1
    Facundo Domínguez authored
    It turned out that finalizers were run too early and information
    resulting from simplifying constraints was not available.
    
    This patch runs finalizers after a first call to simplifyTop, and
    then calls simplifyTop a second time to deal with constraints
    that could result from running the finalizers.
    
    Fixes T12777
    
    Test Plan: ./validate
    
    Reviewers: goldfire, simonpj, bgamari, austin
    
    Reviewed By: simonpj
    
    Subscribers: mpickering, mboes, thomie
    
    Differential Revision: https://phabricator.haskell.org/D2659
    
    GHC Trac Issues: #12777
    231a3ae1
all.T 18.2 KB