[ghc-steering-committee] GHC2024 voting

[Eric Seidel]

These all seem like sensible additions to me, and I agree we should pull the trigger on MonoLocalBinds.

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

On Fri, Dec 8, 2023, at 11:54, Joachim Breitner 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