<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Nov 25, 2020 at 12:43 PM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</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">Hi,<br>
<br>
Thanks! I’ll update the tally later today.<br>
<br>
Am Mittwoch, den 25.11.2020, 12:20 +0100 schrieb Spiwack, Arnaud:<br>
> UnicodeSyntax: maybe<br>
>     ^ I think it changes error messages. I don't think that we can<br>
>     make error messages in Unicode by default. If it only affects<br>
>     parsing, then I'm in favour.<br>
<br>
That is my sentiment as well, and I would phrase my vote as:<br>
<br>
  GHC2021 implies UnicodeSyntax, but not -fprint-unicode-syntax.<br>
  Enabling UnicodeSyntax explicitly may still imply -fprint-unicode-syntax.<br>
<br>
I guess the details of how GHC formats its messages are not strictly<br>
our authority, so I didn't spell this out, but yes: it helps to paint<br>
the picture here more clearly.<br>
<br>
> InstanceSigs: no<br>
>   -- ^ It does feel mostly innocuous on the surface, but it has a<br>
>   probably surprising semantics. Considering that it's quite rarely<br>
>   used, probably better left out.<br>
<br>
Interesting, I don’t see a mention of this on<br>
<a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-InstanceSigs" rel="noreferrer" target="_blank">https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-InstanceSigs</a><br>
Can you elaborate?<br></blockquote><div><br></div><div>I'm referring to:<br></div><div>> The type signature in the instance declaration must be more
polymorphic than (or the same as) the one in the class declaration,
instantiated with the instance type.</div><div><br></div><div>I may be overly conservative here, to be honest. But I'm just a tad hesitant. I should probably have written “a tad hesistant” instead of “no”, though. But this is a long list of extensions, and I was getting tired :) .</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Also thanks for looking up which extensions are already in GHC,<br>
Haskell2010 and are deprecated. I should indicate that in the table<br>
somehow (or simply drop them from the ballot, at least the deprecated<br>
ones).<br></blockquote><div><br></div><div> I don't claim exhaustiveness there. Nor am I 100% sure about correctness. For instance, I'm pretty sure that n+k patterns are considered deprecated, but the documentation doesn't reflect it. I still stored it in the deprecated section as there is basically no way that we turn this one on by default again.<br></div></div></div>