[ghc-steering-committee] Please review #434: Fine-grained unused warnings, Shepherd: Chris
Joachim Breitner
mail at joachim-breitner.de
Sun Jul 2 19:26:54 UTC 2023
Dear Committee,
Jakob Brünker proposes more fine-grained control over unused warnings:
https://github.com/ghc-proposals/ghc-proposals/pull/434
https://github.com/JakobBruenker/ghc-proposals/blob/fine-grained-unused/proposals/0000-fine-grained-unused-warnings.rst
I’d like to ask Chris to shepherd this proposal.
Please guide us to a conclusion as outlined in
https://github.com/ghc-proposals/ghc-proposals#committee-process
Cheers,
Joachim
--
Joachim Breitner
mail at joachim-breitner.de
http://www.joachim-breitner.de/
More information about the ghc-steering-committee
mailing list