[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