On Fri, 4 Dec 2020 at 08:32, Spiwack, Arnaud
arnaud
would miss: Arrows, ExplicitNamespaces, ForeignFunctionInterface, FunctionalDependencies, GADTs, MonadFailDesugaring, MonoLocalBinds, PartialTypeSignatures, StarIsType, TypeFamilyDependencies
Of these 10 extensions. Let me note that - ForeignFunctionInterface is part of Haskell 2010 - MonadFailDesugaring is the current default of GHC - MonoLocalBinds is implied by TypeFamilies, which is otherwise included
So I assume that these are things which we've forgotten, rather than things that we oppose.
Right, we better be clear about ForeignFunctionInterface. Those who voted ForeignFunctionInterface: no, do you *really* want to turn off an extension that's already part of the Haskell standard? Cheers Simon https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee