Hi, accepted and merged, and there is a MR against GHC: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/11882 Cheers, Joachim Am Freitag, dem 05.01.2024 um 11:38 +0000 schrieb Adam Gundry:
Thanks Joachim! I'm (unsurprisingly) happy with the result, and I agree that we should complete the process and go ahead with defining GHC2024 in time for 9.10, even if #628 leads to a bigger shake-up in the future.
Cheers,
Adam
On 05/01/2024 11:00, Joachim Breitner wrote:
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/