• Simon Peyton Jones's avatar
    Improve error messages from functional dependencies · 1a88f9a4
    Simon Peyton Jones authored
    Reponding to Trac #9612:
    
     * Track the CtOrigin of a Derived equality, arising from a
       functional dependency
    
     * And report it clearly in the error stream
    
    This relies on a previous commit, in which I stop dropping Derived
    insolubles on the floor.
    1a88f9a4
TcErrors.lhs 62.2 KB