• Ryan Scott's avatar
    Error eagerly after renaming failures in reifyInstances · d6186496
    Ryan Scott authored
    Summary:
    Previously, if `reifyInstances` failed to discover a `Name` during
    renaming, it would blindy charge into typechecking, at which point GHC would
    become very confused at the absence of that `Name` and throw an internal error.
    A simple workaround is to fail eagerly after renaming errors.
    
    Test Plan: make test TEST=T13837
    
    Reviewers: goldfire, austin, bgamari, simonpj
    
    Reviewed By: simonpj
    
    Subscribers: simonpj, rwbarton, thomie
    
    GHC Trac Issues: #13837
    
    Differential Revision: https://phabricator.haskell.org/D3793
    d6186496
all.T 17 KB