Re: [ghc-steering-committee] Fast tracked amendment: Warning category syntax (#576)

Hi, Am Mittwoch, dem 01.02.2023 um 10:11 +0100 schrieb Joachim Breitner:

    {-# WARNING in "x-some-category" "message" #-}

This amendment is at https://github.com/ghc-proposals/ghc-proposals/pull/576.

This seems to be changing a minor aspect of the original proposal and implementation is ready, so I think we can fast-track accepting this. If you disagree with this process please complain until the end of the week (Sun Feb 5).

Arnaud nodded politely, nobody complained, so that’s fast-tracked too. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/