Re: new label: diagnostic quality

2021-09-09 Thread Richard Eisenberg
Great idea! See https://github.com/haskellfoundation/tech-proposals/issues/12#issuecomment-916310039, which will eventually work its way into a more proper proposal. Thanks, Richard > On Sep 7, 2021, at 9:04 PM, Chris Smith wrote: > > Oops, I meant to include this URL: > https://github.com/g

Re: new label: diagnostic quality

2021-09-07 Thread Chris Smith
Oops, I meant to include this URL: https://github.com/google/codeworld/issues?q=label%3Aerror-message+%22code.world%2Fhaskell%22 is the full list (including closed issues) of cases where someone has reported a misleading error message at code.world/haskell On Tue, Sep 7, 2021 at 9:03 PM Chris Smit

Re: new label: diagnostic quality

2021-09-07 Thread Chris Smith
Hi Richard, One thing that I've done with CodeWorld for years now was to integrate reporting poor error messages into the core workflow by adding a report button on the compiler output directly in the tool. This integration files github issues with a special tag for error messages. Because CodeW

new label: diagnostic quality

2021-09-07 Thread Richard Eisenberg
Hi devs, I've just created a new label in GitLab, called "diagnostic quality". (Diagnostics = errors ∪ warnings.) I intend for this label to be used when the report is about the quality of an error message or warning. That is, the existing message is not wrong, per se, but it's somehow not as h