[ghc-steering-committee] Fast tracked amendment: Warning category syntax (#576)
Joachim Breitner
mail at joachim-breitner.de
Wed Feb 1 09:11:19 UTC 2023
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 at joachim-breitner.de
http://www.joachim-breitner.de/
More information about the ghc-steering-committee
mailing list