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

Hi, Am Dienstag, dem 29.11.2022 um 17:14 +0100 schrieb Joachim Breitner:

Happy to hear more voices and accept with whatever the majority of voices said they’d prefer (without formal votes, doesn’t seem to be worth it), assuming nobody thinks either way is a showstopper.

didn’t hear more on this issue. If silence continues for a few more days, I’ll accept it (in the current variant ({-# WARNING [x-partial] #-}), by popular vote). Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/