[ghc-steering-committee] GHC2024 voting

[Simon Marlow]

* [x] DataKinds
* [x] DefaultSignatures
* [x] DerivingStrategies
* [x] DisambiguateRecordFields
* [x] ExplicitNamespaces
* [x] GADTs with MonoLocalBinds
* [x] GADTs without MonoLocalBinds
* [x] LambdaCase
* [x] RoleAnnotations
* [ ] TypeData
* [x] TypeFamilies
* [ ] BlockArguments

On Fri, 8 Dec 2023 at 17:54, Joachim Breitner <mail at joachim-breitner.de>
wrote:

> 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 at joachim-breitner.de
>   http://www.joachim-breitner.de/
>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20231216/e6743a10/attachment.html>