<html><body>
        <div dir="ltr">
    Dear all,</div><div dir="ltr">I would like to raise a few points with respect to some extensions:</div><div dir="ltr">- What should we do with those which are superseded? I voted ‘yes’ to NullaryTypeClasses because it’s implied by MultiParamTypeClasses [<a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-NullaryTypeClasses">https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-NullaryTypeClasses</a>]. I don’t think we’ll end up in a situation in which the former is accepted but not the latter, but it’s worth mentioning.</div><div dir="ltr">- ‘MonadFailDesugaring’ is enabled by default since 8.6.1 [<a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-MonadFailDesugaring">https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-MonadFailDesugaring</a>]. We could keep the status quo, and say that the extension is not part of GHC2021, but it’s enabled by default in GHC; but that seems like a weird outcome to me.</div><div dir="ltr"><br></div><div dir="ltr">Regards,</div><div dir="ltr">Alejandro<br><br>
    <div class="gmail_quote">
        <div dir="ltr" class="gmail_attr">On 7 Dec 2020 at 19:17:17, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br></div>
        <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
            <div>
    Dear Committe,<br><br>it’s been two weeks since we started voting. We are still short one<br>vote (Cale, release the suspsense!). But also, there are still plenty<br>of “maybes” in your vote. I encourage you to change them to yes or no<br>(at least for those extensions that are near the edge), so that we have<br>more clarity on which extensions are actually worth spending emails on.<br><br>As always, the table<br><a href="https://github.com/ghc-proposals/ghc-proposals/blob/ghc2021/proposals/0000-ghc2021.rst#data">https://github.com/ghc-proposals/ghc-proposals/blob/ghc2021/proposals/0000-ghc2021.rst#data</a><br>has the current data. (And even even got community contributions to<br>improve its readability. Yay!)<br><br>We discussed many extensions on (and I might have missed some):<br><br> * The innnocence of PostfixOperators was pointed out, and widely<br>   appreciated<br> * Joachim pleads for UnicodeSyntax<br> * InstanceSigs worries seems to have been addressed, it’s on its way<br>   in<br> * Whether OverloadedString is harmless enough.<br> * Whether ViewPatterns are good enough (given that alternative ideas <br>   exist)<br> * That ForeignFunctionInterfaces is actually part of Haskell2010<br> * That this isn’t quite the right time to ditch StarIsType<br> * CUSKs vs. StandaloneKindSignatures<br> * BlockArguments is liked by some, but may be too new<br> * GADTs were advocated for a lot, but also a bit against, so not <br>   uncontroversial<br> * Same with ExistentialQuantification<br> * PolyKinds were advocated for (and got many votes)<br> * ScopedTypeVariables is wanted on by default by some,<br>   despite the fact that nobody believes it’s the last<br>   word on that design corner. Alejandro argues that it’s<br>   ok to include it even if it will change in GHC202X again,<br>   but elsewhere SPJ says that GHC2021 should only include extensions<br>   we have reason to hope are stable and stay around .<br> * Arnaud wonders about the hesitation to include <br>   FunctionalDependencies<br><br><br>Applying the actual quota of ⅔ out of 11, i.e. 8 votes, these would go<br>in no matter how Cale votes:<br><br>   BangPatterns, BinaryLiterals, ConstrainedClassMethods,<br>   ConstraintKinds, DeriveDataTypeable, DeriveFoldable, DeriveFunctor,<br>   DeriveGeneric, DeriveLift, DeriveTraversable, EmptyCase,<br>   EmptyDataDecls, EmptyDataDeriving, ExplicitForAll, FlexibleContexts,<br>   FlexibleInstances, GADTSyntax, GeneralisedNewtypeDeriving,<br>   HexFloatLiterals, ImportQualifiedPost, InstanceSigs, KindSignatures,<br>   MultiParamTypeClasses, NamedFieldPuns, NumericUnderscores,<br>   PolyKinds, PostfixOperators, RankNTypes, StandaloneDeriving,<br>   StarIsType, TypeApplications, TypeOperators, TypeSynonymInstances<br><br>The following have 7 votes, which is the quorum based on 10 ballots:<br><br>   ExistentialQuantification, ForeignFunctionInterface, MonoLocalBinds,<br>   NegativeLiterals, RecordWildCards, StandaloneKindSignatures,<br>   TypeFamilies<br><br>And these are one vote short:<br><br>   DataKinds, DerivingStrategies, GADTs, NamedWildCards,<br>   ScopedTypeVariables, TupleSections, UnicodeSyntax, ViewPatterns<br><br><br>Not sure how useful the list of symmetric difference report is, but<br>here it is:<br><br>alejandro<br>would miss:<br>DataKinds, DerivingStrategies, FunctionalDependencies, GADTs,<br>LambdaCase, MonadFailDesugaring, NamedWildCards,<br>NoMonomorphismRestriction, NullaryTypeClasses, NumDecimals,<br>OverloadedLists, OverloadedStrings, ScopedTypeVariables, TupleSections,<br>UnicodeSyntax, ViewPatterns<br>doesn’t want:<br>none!<br><br>arnaud<br>would miss:<br>Arrows, DerivingStrategies, ExplicitNamespaces, FunctionalDependencies,<br>GADTs, MonadFailDesugaring, PartialTypeSignatures,<br>TypeFamilyDependencies, ViewPatterns<br>doesn’t want:<br>ExistentialQuantification, ImportQualifiedPost, InstanceSigs,<br>NamedFieldPuns, PolyKinds, RankNTypes, RecordWildCards,<br>StandaloneKindSignatures, TypeSynonymInstances<br><br>eric<br>would miss:<br>DataKinds, DefaultSignatures, DisambiguateRecordFields,<br>ExplicitNamespaces, FunctionalDependencies, GADTs, MonadFailDesugaring,<br>NamedWildCards, OverloadedLists, OverloadedStrings,<br>PartialTypeSignatures, PatternSynonyms, RoleAnnotations,<br>ScopedTypeVariables, TypeFamilyDependencies<br>doesn’t want:<br>EmptyDataDeriving, ForeignFunctionInterface<br><br>iavor<br>would miss:<br>BlockArguments, CApiFFI, MultiWayIf, NoMonomorphismRestriction,<br>NullaryTypeClasses, ParallelListComp, RecursiveDo, UnicodeSyntax,<br>UnliftedNewtypes<br>doesn’t want:<br>ConstrainedClassMethods, EmptyCase, ExplicitForAll, GADTSyntax,<br>GeneralisedNewtypeDeriving, InstanceSigs, KindSignatures,<br>MonoLocalBinds, NegativeLiterals, PolyKinds, StandaloneKindSignatures,<br>StarIsType, TypeApplications, TypeFamilies, TypeOperators<br><br>joachim<br>would miss:<br>DataKinds, DerivingStrategies, DerivingVia, LambdaCase, NamedWildCards,<br>NondecreasingIndentation, RoleAnnotations, TupleSections,<br>UnicodeSyntax, UnliftedFFITypes, UnliftedNewtypes<br>doesn’t want:<br>ConstrainedClassMethods, ExistentialQuantification,<br>TypeSynonymInstances<br><br>richard<br>would miss:<br>BlockArguments, DefaultSignatures, DerivingStrategies, DerivingVia,<br>DisambiguateRecordFields, ExplicitNamespaces, LexicalNegation,<br>NamedWildCards, NumDecimals, ParallelListComp, RoleAnnotations,<br>TemplateHaskellQuotes, TupleSections, UnicodeSyntax, UnliftedNewtypes,<br>ViewPatterns<br>doesn’t want:<br>MonoLocalBinds, NegativeLiterals, RecordWildCards, TypeFamilies<br><br>simonm<br>would miss:<br>DataKinds, DefaultSignatures, GADTs, LambdaCase, LiberalTypeSynonyms,<br>MultiWayIf, NoMonomorphismRestriction, NondecreasingIndentation,<br>NumDecimals, OverloadedStrings, PatternSynonyms, ScopedTypeVariables,<br>TupleSections, UnicodeSyntax<br>doesn’t want:<br>DeriveLift, NumericUnderscores, TypeApplications, TypeOperators<br><br>spj<br>would miss:<br>NoMonomorphismRestriction, NullaryTypeClasses, OverloadedLists,<br>OverloadedStrings, ParallelListComp, RecursiveDo, RoleAnnotations,<br>ScopedTypeVariables, ViewPatterns<br>doesn’t want:<br>ForeignFunctionInterface, GeneralisedNewtypeDeriving, NegativeLiterals,<br>RecordWildCards, TypeFamilies<br><br>tom<br>would miss:<br>BlockArguments, DataKinds, DefaultSignatures, DerivingStrategies,<br>DerivingVia, DisambiguateRecordFields, DuplicateRecordFields,<br>ExplicitNamespaces, FunctionalDependencies, GADTs, LambdaCase,<br>LexicalNegation, LiberalTypeSynonyms, MagicHash, MultiWayIf,<br>NamedWildCards, NullaryTypeClasses, NumDecimals, PackageImports,<br>ParallelListComp, QuasiQuotes, RoleAnnotations, ScopedTypeVariables,<br>TemplateHaskell, TemplateHaskellQuotes, TupleSections,<br>TypeFamilyDependencies, UnboxedSums, UnboxedTuples, UnicodeSyntax,<br>UnliftedNewtypes, ViewPatterns<br>doesn’t want:<br>ForeignFunctionInterface, MonoLocalBinds, StarIsType<br><br>vitaly<br>would miss:<br>DataKinds, DerivingStrategies, DerivingVia, GADTs, LambdaCase,<br>MonadFailDesugaring, NamedWildCards, OverloadedLists,<br>OverloadedStrings, ScopedTypeVariables, TupleSections, ViewPatterns<br>doesn’t want:<br>ExistentialQuantification, StandaloneKindSignatures<br><br>Cheers,<br>Joachim<br><br>-- <br>Joachim Breitner<br>  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a><br>  <a href="http://www.joachim-breitner.de/">http://www.joachim-breitner.de/</a><br><br><br>_______________________________________________<br>ghc-steering-committee mailing list<br><a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a><br><a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</div>
        </blockquote>
    </div>
</div>
    
</body></html>