Please review #434: Fine-grained unused warnings, Shepherd: Chris

2 Jul
2023
2 Jul
'23
3:26 p.m.
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/prop... 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@joachim-breitner.de http://www.joachim-breitner.de/
688
Age (days ago)
688
Last active (days ago)
0 comments
1 participants
participants (1)
-
Joachim Breitner