[ghc-steering-committee] CUSKs and StandaloneTypeSignatures
arnaud.spiwack at tweag.io
Fri Dec 4 14:15:35 UTC 2020
CUSKs need to go. I see no place for them in the defaults.
I want StandaloneKindSignature in the default too, but I think that they
are not battle-tested enough to be included this time around.
On Fri, Dec 4, 2020 at 2:45 PM Alejandro Serrano Mena <trupill at gmail.com>
> Maybe some part of this discussion got lost.
> Simon PJ writes:
> Let's *not* have CUSKs. We are trying to get rid of it... it'd be deeply
>> strange to "bless" it in GHC2020.
>> StandaloneKindSignatures is clearly the Right Thing. I'm sure we'll want
>> it long term.
>> It's a very graceful fit with PolyKinds.
> I would really like StandaloneTypeSignatures to be part of the default,
> and remove CUSKs. Thoughts on this? Is it too early?
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-steering-committee