Open woodruffw opened 8 hours ago
Right now we use annotate-snippets to provide the default diagnostic output. This works well, but it's a little bit inflexible. We should evaluate codespan-reporting as a potential alternative with a more flexible data model.
annotate-snippets
codespan-reporting
Right now we use
annotate-snippets
to provide the default diagnostic output. This works well, but it's a little bit inflexible. We should evaluatecodespan-reporting
as a potential alternative with a more flexible data model.