[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