<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">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 class=""><br class=""></div><div class="">Richard<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Dec 4, 2020, at 9:15 AM, Spiwack, Arnaud <<a href="mailto:arnaud.spiwack@tweag.io" class="">arnaud.spiwack@tweag.io</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="">CUSKs need to go. I see no place for them in the defaults.</div><div class=""><br class=""></div><div class="">I want StandaloneKindSignature in the default too, but I think that they are not battle-tested enough to be included this time around.<br class=""></div></div><br class=""><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" class="">trupill@gmail.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class=""><font face=".AppleSystemUIFont" class=""><span style="font-style:normal" class="">Maybe some part of this discussion got lost.</span></font><div class=""><font face=".AppleSystemUIFont" class=""><span style="font-style:normal" class=""><br class=""></span></font></div><div class=""><font face=".AppleSystemUIFont" class=""><span style="font-style:normal" class="">Simon PJ writes:</span></font></div><div class=""><font face=".AppleSystemUIFont" class=""><span style="font-style:normal" class=""><br class=""></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 class=""><span style="color:rgb(34,34,34);font-style:normal" class=""><font face=".AppleSystemUIFont" class="">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 class=""><font face=".AppleSystemUIFont" class=""><span style="font-style:normal" class=""><br style="color:rgb(34,34,34)" class=""></span></font></div><div class=""><font face=".AppleSystemUIFont" class=""><span style="font-style:normal" class=""><span style="color:rgb(34,34,34)" class="">StandaloneKindSignatures is clearly the Right Thing. I'm sure we'll want it long term. </span></span></font></div><div class=""><font face=".AppleSystemUIFont" class=""><span style="font-style:normal" class=""><br style="color:rgb(34,34,34)" class=""></span></font></div><div class=""><font face=".AppleSystemUIFont" class=""><span style="font-style:normal" class=""><span style="color:rgb(34,34,34)" class="">It's a very graceful fit with PolyKinds.</span></span></font></div></blockquote><div class=""><font face=".AppleSystemUIFont" class=""><span style="font-style:normal" class=""><span style="color:rgb(34,34,34)" class=""><br class=""></span></span></font></div><div class=""><font face=".AppleSystemUIFont" class=""><span style="font-style:normal" class=""><span style="color:rgb(34,34,34)" class=""><br class=""></span></span></font></div><div class=""><font color="#222222" class=""><span class="">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 class=""><font color="#222222" class=""><span class=""><br class=""></span></font></div><div class=""><font color="#222222" class=""><span class="">Regards,</span></font></div><div class=""><font color="#222222" class=""><span class="">Alejandro</span></font></div></div>
_______________________________________________<br class="">
ghc-steering-committee mailing list<br class="">
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class="">
</blockquote></div>
_______________________________________________<br class="">ghc-steering-committee mailing list<br class=""><a href="mailto:ghc-steering-committee@haskell.org" class="">ghc-steering-committee@haskell.org</a><br class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee<br class=""></div></blockquote></div><br class=""></div></body></html>