Re: [ghc-steering-committee] #451: WARNING pragma with category, Recommendation: accept

Hi, Am Mittwoch, dem 16.11.2022 um 20:16 +0100 schrieb Joachim Breitner:

Adam has submitted “WARNING pragmas with categories” for committee

I got minor tweaks ([x-partial] in the pragma, thanks Arnaud) and proposal text improvements (thanks Simon), and strong support, but no complaints. I’ll merge within a week if stays this way. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/