[ghc-steering-committee] GHC2024 voting

[Arnaud Spiwack]

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

(for BlockArguments, I just can't bring myself to care either way. Don't
see this as a vote against: I simply have, in the most literal sense, no
opinion)

On Fri, 8 Dec 2023 at 19:03, Vladislav Zavialov <vlad.z.4096 at gmail.com>
wrote:

> * [ ] DataKinds
> * [ ] DefaultSignatures
> * [x] DerivingStrategies
> * [x] DisambiguateRecordFields
> * [ ] ExplicitNamespaces
> * [x] GADTs with MonoLocalBinds
> * [x] GADTs without MonoLocalBinds
> * [x] LambdaCase
> * [ ] RoleAnnotations
> * [ ] TypeData
> * [ ] TypeFamilies
> * [x] BlockArguments
>
> Vlad
>
> On Fri, Dec 8, 2023 at 6:54 PM 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
>>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>


-- 
Arnaud Spiwack
Director, Research at https://moduscreate.com and https://tweag.io.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20231211/690d1912/attachment.html>