Hi, just a reminder that the polling is still ongoing, and with 6 votes in I’m looking forward to receiving the votes from Moritz, Chris and Eric. Since the quorum for inclusion is 7 votes, 4 nay votes suffice to kick something out. This means that according to my counting, TypeData and BlockArguments are already out. Cheers, Joachim Am Freitag, dem 08.12.2023 um 18:54 +0100 schrieb Joachim Breitner:
Dear Committee,
there isn't much discussion, but maybe a silent consensus that we should go ahead with this?
So please cast your vote about each of the following extensions; simply by replying to this email and putting an x next to those extensions you think should be part of GHC2024.
* [ ] DataKinds * [ ] DefaultSignatures * [ ] DerivingStrategies * [ ] DisambiguateRecordFields * [ ] ExplicitNamespaces * [ ] GADTs with MonoLocalBinds * [ ] GADTs without MonoLocalBinds * [ ] LambdaCase * [ ] RoleAnnotations * [ ] TypeData * [ ] TypeFamilies * [ ] BlockArguments
As per the process (#372) the quorum for inclusion is _7 votes_ out of the 10 current committee members. So it takes only four “no”s to block an extension.
I’m putting GADTs in two both variants on the ballot. If “GADTs with MonoLocalBinds” makes it in, then its in, and only if not we look at “GADTs without MonoLocalBinds”. So it may make sense to vote in favor of both.
Ballot boxes are upen until Jan 8th, but it is probably better for everyone if votes are casted sooner. Maybe we can do it within a week?
Thanks, Joachim
-- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/