error-message-index icon indicating copy to clipboard operation
error-message-index copied to clipboard

Published 20 hours ago • verified publisher icon haskellfoundation

`TcRnUserTypeError` 47403 should be folded into `UserTypeError` 64725

Open akrmn opened this issue 3 years ago • 1 comments
trafficstars

TcRnUserTypeError (47403) and UserTypeError (64725) really are the same error, but they get triggered in different parts of the compiler. At first I thought one was specifically for constraints and the other one for type families, but it's more subtle than that (in some cases, adding/removing a type signature changes which one you get), but for the user it really doesn't make a difference. If they had the same error code, that wouldn't be a problem. Another alternative would be to allow redirections, so e.g. the link for TcRnUserTypeError (47403) simply redirects to the page for UserTypeError (64725).

akrmn avatar Jun 13 '22 12:06 akrmn

I think having a "See Also" could be useful in this case. Though, if we can pinpoint exactly when one happens vs the other, that could be worth documenting?

PPKFS avatar Jun 13 '22 12:06 PPKFS