[ghc-steering-committee] CUSKs and StandaloneTypeSignatures

Alejandro Serrano Mena trupill at gmail.com
Fri Dec 4 13:45:04 UTC 2020


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201204/4ca40aee/attachment.html>


More information about the ghc-steering-committee mailing list