<div dir="ltr"><div>CUSKs need to go. I see no place for them in the defaults.</div><div><br></div><div>I want StandaloneKindSignature in the default too, but I think that they are not battle-tested enough to be included this time around.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Dec 4, 2020 at 2:45 PM Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com">trupill@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><font face=".AppleSystemUIFont"><span style="font-style:normal">Maybe some part of this discussion got lost.</span></font><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><br></span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal">Simon PJ writes:</span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><br></span></font></div><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" class="gmail_quote"><div><span style="color:rgb(34,34,34);font-style:normal"><font face=".AppleSystemUIFont">Let's *not* have CUSKs.  We are trying to get rid of it... it'd be deeply strange to "bless" it in GHC2020.</font></span></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><br style="color:rgb(34,34,34)"></span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><span style="color:rgb(34,34,34)">StandaloneKindSignatures is clearly the Right Thing. I'm sure we'll want it long term.  </span></span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><br style="color:rgb(34,34,34)"></span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><span style="color:rgb(34,34,34)">It's a very graceful fit with PolyKinds.</span></span></font></div></blockquote><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><span style="color:rgb(34,34,34)"><br></span></span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><span style="color:rgb(34,34,34)"><br></span></span></font></div><div><font color="#222222"><span>I would really like StandaloneTypeSignatures to be part of the default, and remove CUSKs. Thoughts on this? Is it too early?</span></font></div><div><font color="#222222"><span><br></span></font></div><div><font color="#222222"><span>Regards,</span></font></div><div><font color="#222222"><span>Alejandro</span></font></div></div>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>