[ghc-steering-committee] 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/