Fast tracked amendment: Warning category syntax (#576)
Hi, implementation work on warning categories (#541) shows that the implementation would be much simpler if the category was lexed as a string literal, and Adam wants to amend his warning category proposal to the syntax {-# 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). Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
Fine with me.
On Wed, 1 Feb 2023 at 10:11, Joachim Breitner
Hi,
implementation work on warning categories (#541) shows that the implementation would be much simpler if the category was lexed as a string literal, and Adam wants to amend his warning category proposal to the syntax
{-# 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).
Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
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/
participants (2)
-
Arnaud Spiwack -
Joachim Breitner