[ghc-steering-committee] Please review #454: custom type warnings Shepherd: Tom
Joachim Breitner
mail at joachim-breitner.de
Wed Jan 5 09:47:15 UTC 2022
Dear Committee,
this is your secretary speaking (who is back from travels):
Custom type warnings
has been proposed by Adam
https://github.com/ghc-proposals/ghc-proposals/pull/460
https://github.com/adamgundry/ghc-proposals/blob/custom-type-warnings/proposals/0000-custom-type-warnings.rst
This was extracted from #433, so I suggest that Tom shepherds this one
too.
Please guide us to a conclusion as outlined in
https://github.com/ghc-proposals/ghc-proposals#committee-process
Thanks,
Joachim
--
Joachim Breitner
mail at joachim-breitner.de
http://www.joachim-breitner.de/
More information about the ghc-steering-committee
mailing list