• Simon Peyton Jones's avatar
    Report arity errors correctly despite kinds · 5879d5aa
    Simon Peyton Jones authored
    Trac #10516 pointed out that when reporting arity errors
    (like "T needs 2 arguments but has been given 1"), we should
    not count kind arguments, since they are implicit.  If we
    include kind args in the count, we get very confusing error
    messages indeed.
    
    I did a little bit of refactoring which make some
    error messages wobble around.  But the payload of
    this fix is in TcValidity.tyConArityErr
    5879d5aa
TcPat.hs 50 KB