[ghc-steering-committee] Please review #597: Constraints synonyms in deriving heads, Shepherd: Moritz
Joachim Breitner
mail at joachim-breitner.de
Tue Jul 25 13:11:54 UTC 2023
Dear Committee,
Grigorii Gerasev suggests to allow constraints type synonyms in deriving heads again.
https://github.com/ghc-proposals/ghc-proposals/pull/597
https://github.com/uhbif19/ghc-proposals/blob/uhbif19/allow-constraint-type-synonyms-in-deriving-heads/proposals/0000-allow-constraint-type-synonyms-in-deriving-heads.md
I’d like to assign this to Moritz (mostly because most of the committee
already sits on a proposal… gentle nudge).
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