<div dir="ltr"><div>After I clicked “send”, and after some verification, I realised that there was a yet undocumented interaction with pattern synonyms. Namely, record-pattern-synonym update. I asked the author to document it in the proposal: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/282#issuecomment-56491971">https://github.com/ghc-proposals/ghc-proposals/pull/282#issuecomment-56491971</a> .<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Dec 12, 2019 at 10:15 AM 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 Donnerstag, den 12.12.2019, 10:04 +0100 schrieb Spiwack, Arnaud:<br>
> Apologies if this message wasn't useful (it probably wasn't). I'll probably stay a neutral party for the rest of this process.<br>
<br>
I find it very useful. Especially as it reminds us that there is more<br>
to the proposal than the question about what a space left of the .<br>
means (which seems to suck in all the attention).<br>
<br>
Cheers,<br>
Joachim<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>