• 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.
TcErrors.lhs 62.2 KB