Open July541 opened 1 month ago
Hmm, I just checked, and I think we don't even display the content of the severity
field on the website. And on GHC's site there is no distinction between errors and warnings, since they cannot be neatly classified (due to -Werror
, which can turn any warning into an error). We should maybe do the opposite and remove the severity field from all messages 🤔
I just found message-index/messages/GHC-66228/index.md doesn't have
severity
filed inmetadata
, which is included by other error messages, is this intended?