[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>
wrote:

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