Older versions of GHC had an explicit "severity" key in the message JSON. Newer versions include the severity in a space-separated list under the "messageClass" key. I think this change was introduced in GHC 9.4. I'm not sure why I didn't noticed before now.
Older versions of GHC had an explicit
"severity"
key in the message JSON. Newer versions include the severity in a space-separated list under the"messageClass"
key. I think this change was introduced in GHC 9.4. I'm not sure why I didn't noticed before now.