[ghc-steering-committee] CUSKs and StandaloneTypeSignatures

Spiwack, Arnaud 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?
> Regards,
> Alejandro
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> 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/fbcca34e/attachment.html>

More information about the ghc-steering-committee mailing list