<div dir="ltr"><div>I agree that implementation bugs are not what we want to worry about. But straightforward or not, StandaloneKindSignature's design has barely been tested. It wouldn't be the first extension that we believed to be unproblematic (I do believe it is!) and be surprised that there are some dark corners. So I'd say let's give it a little time.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Dec 4, 2020 at 3:29 PM Richard Eisenberg <<a href="mailto:rae@richarde.dev">rae@richarde.dev</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 style="overflow-wrap: break-word;">I think StandaloneKindSignatures should be included. It's true that there may be implementation bugs, but the design of them is really quite straightforward, so I don't expect design bugs. And I think it's design bugs that should hinder inclusion, much more than implementation bugs (of which I know none, at the moment).<div><br></div><div>Richard<br><div><br><blockquote type="cite"><div>On Dec 4, 2020, at 9:15 AM, Spiwack, Arnaud <<a href="mailto:arnaud.spiwack@tweag.io" target="_blank">arnaud.spiwack@tweag.io</a>> wrote:</div><br><div><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" target="_blank">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>
_______________________________________________<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" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br></div></blockquote></div><br></div></div></blockquote></div>