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

Error message round up (from test cases) #1285

Open
Izaakwltn opened this issue Oct 2, 2024 · 2 comments
Open

Error message round up (from test cases) #1285

Izaakwltn opened this issue Oct 2, 2024 · 2 comments

Comments

@Izaakwltn
Copy link
Collaborator

This is a collection of bad error messages gathered from test cases.

Original Comments are from two previous PRs:

  1. This seems like a sketchy error message

Originally posted by @Izaakwltn in #1274 (comment)

  1. This too, it should probably refer to the arrow, similarly to the => errors above .

Originally posted by @Izaakwltn in #1274 (comment)

  1. this is a suboptimal error, the class name is right there

Originally posted by @Izaakwltn in #1274 (comment)

  1. One more- I'm not sure what this error should be but this seems not ideal

Originally posted by @Izaakwltn in #1274 (comment)

  1. Would be better to have a "trailing" error, though might be awkward to implement

Originally posted by @Izaakwltn in #1274 (comment)

  1. Error message note: should probably be expected method definition

Originally posted by @Izaakwltn in #1278 (comment)

  1. Error message note: should probably be expected instance type definition or something similar

Originally posted by @Izaakwltn in #1278 (comment)

@Izaakwltn
Copy link
Collaborator Author

Error message: This should probably be either "unexpected trailing form", pointing at only 5, or something monomorphize specific like "monomorphize takes no arguments"

Originally posted by @Izaakwltn in #1284 (comment)

@Izaakwltn
Copy link
Collaborator Author

  1. this is an awkwardly printed message

Originally posted by @Izaakwltn in #1272 (comment)

  1. this is also awkward

Originally posted by @Izaakwltn in #1272 (comment)

  1. this should probably point after the binding list

Originally posted by @Izaakwltn in #1272 (comment)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant