Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

go/types, types2: review error messages #50954

Closed
griesemer opened this issue Feb 1, 2022 · 5 comments
Closed

go/types, types2: review error messages #50954

griesemer opened this issue Feb 1, 2022 · 5 comments
Assignees
Labels
FrozenDueToAge NeedsFix The path to resolution is known, but the work has not been done.
Milestone

Comments

@griesemer
Copy link
Contributor

Reminder issue.

  • In some cases the Go 1.17 compiler produced better (more detailed) error messages than go/types, types2. Fix those cases.
  • Remove the difference between compiler and type checker error messages.
  • Review general format of error messages (use of : vs ()) and normalize it.

cc: @findleyr

@griesemer griesemer added the NeedsFix The path to resolution is known, but the work has not been done. label Feb 1, 2022
@griesemer griesemer added this to the Go1.19 milestone Feb 1, 2022
@griesemer griesemer self-assigned this Feb 1, 2022
@gopherbot
Copy link

Change https://golang.org/cl/381968 mentions this issue: doc/go1.18: explain changes to compiler error messages

gopherbot pushed a commit that referenced this issue Feb 1, 2022
For #47694.
For #50954.

Change-Id: I3789e145d64025fe2bf787fa5d01a21832903586
Reviewed-on: https://go-review.googlesource.com/c/go/+/381968
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
@OladapoAjala
Copy link

@griesemer I'd like to work on this issue. Kindly assign it to me and share more resources (if any) to get me started.

@griesemer
Copy link
Contributor Author

Thanks, @OladapoAjala for your interest here. This is an area which we (the Go team) should address and own because it requires potential changes in the compiler's existing tests, types2, go/types, and changes to the error handling machinery (which are currently in progress), as well as determining a model for error message formats, requiring lots of communication between stakeholders.

If you want to contribute elsewhere, please look for issues labeled with "help wanted". Generally, due to ongoing development in the type checkers, those are not good areas for larger changes at the moment (smaller bug fixes are always welcome, though).

Thanks.

@OladapoAjala
Copy link

@griesemer thank you for the detailed response. I'd look around for issues I can contribute to, regards.

@griesemer
Copy link
Contributor Author

In the meantime, the differences between compiler and type checker error messages have been removed.
We also continue to add missing information where Go 1.17 produced better error messages (case-by-case basis).
Finally, regarding the error format (":" vs "()" for clarifications): some of it is historic. We don't have a "grand unifying theory" for error message formatting but we're making it more regular in small steps.
Closing this as mostly done.

@golang golang locked and limited conversation to collaborators Oct 10, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
FrozenDueToAge NeedsFix The path to resolution is known, but the work has not been done.
Projects
Development

No branches or pull requests

3 participants