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

[Joachim Breitner]

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 at joachim-breitner.de
  http://www.joachim-breitner.de/