[ghc-steering-committee] GHC2024 tally

5 Jan 2024

      Dear committee,

with all votes in (thanks!), the following extensions made quorum to
form GHC2024:

    DataKinds
    DerivingStrategies
    DisambiguateRecordFields
    ExplicitNamespaces
    GADTs (and the implied MonoLocalBinds)
    LambdaCase
    RoleAnnotations

See the full tally in the proposal:
https://github.com/ghc-proposals/ghc-proposals/blob/joachim/ghc2024/proposal...

Any final thoughts?

Should we hold off accepting that in light of #628 (I don’t hope so).

Cheers,
Joachim

-- 
Joachim Breitner
  mail@joachim-breitner.de
  http://www.joachim-breitner.de/