Open croyzor opened 1 month ago
Update this to report all the error messages we can find
I think we should only focus on the multiple spans part for now. Reporting multiple errors requires us to recover from previous errors to keep type checking going which will require a separate refactor
See tracking issue #535
Our current error reporting infrrastructure is limited to only highlighting one code span when reporting an error. Update this to allow showing multiple code spans in error messages
This would unblock #318 and #306