• simonpj@microsoft.com's avatar
    Fix Trac #3193: improve line number reporting for equality constraints · 9091712c
    simonpj@microsoft.com authored
    When reporting an error from a failed equality constraint, we were
    setting the *context* but not the *line number* in TcTyFuns.eqInstMisMatch
    As a result, the line number didn't match the context at all.  It's
    trivial to fix.
    I'm 99% certain this fixes #3193, but it's too complicated to
    reproduce, so I have not actually tested it.
TcTyFuns.lhs 68.5 KB