[ghc-steering-committee] #380 GHC2021: Current status

Simon Marlow marlowsd at gmail.com
Fri Dec 4 09:57:07 UTC 2020

On Fri, 4 Dec 2020 at 08:32, Spiwack, Arnaud <arnaud.spiwack at tweag.io>

>    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?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201204/76231df3/attachment.html>

More information about the ghc-steering-committee mailing list