<div dir="ltr"><div>Joachim: you didn't opine on default type signatures.</div><div><br></div><div>By the way, is it you kicking off the deliberation?<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 21 Nov 2023 at 22:11, 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>
Am Dienstag, dem 21.11.2023 um 21:06 +0000 schrieb Simon Peyton Jones:<br>
> <br>
> I agree.  But I have been increasingly realising that really the<br>
> extension should be called PolyLocalBinds, and MonoLocalBinds should<br>
> be a synonym for NoPolyLocalBinds.<br>
> <br>
> Reason: extensions generally allow more programs, not fewer.  <br>
> PolyLocalBinds does that -- at the expense of less predictable type<br>
> inference.  To get predictable type inference with GADTs we switch<br>
> PolyLocalBinds off.<br>
> <br>
> You may think this is just moving the deck chairs around, but I think<br>
> this renaming is a more consistent story.<br>
<br>
<br>
I am a big fan of nicely arranged seating on deck. So if we think it’s<br>
useful, I think we can add this to GHC2024 as NoPolyLocalBinds,<br>
retrofit PolyLocalBinds into the previous editions, and make the<br>
(No)MonoLocalBinds flags just aliases. I can add this as a rider to the<br>
GHC2024 vote.<br>
<br>
Cheers,<br>
Joachim<br>
<br>
<br>
-- <br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
<br>
_______________________________________________<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 clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr">Arnaud Spiwack<br>Director, Research at <a href="https://moduscreate.com" rel="noopener noreferrer" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noopener noreferrer" target="_blank">https://tweag.io</a>.</div></div>