coalton-lang/coalton

Error message round up (from test cases)

Izaakwltn opened this issue · 2 comments

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)

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)

  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)