5 Jan
2022
5 Jan
'22
4:47 a.m.
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/propos... 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@joachim-breitner.de http://www.joachim-breitner.de/