[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