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: https://github.com/ghc-proposals/ghc-proposals/pull/282#issuecomment-56491971 .

On Thu, Dec 12, 2019 at 10:15 AM Joachim Breitner <mail@joachim-breitner.de> wrote:

Hi,

Am Donnerstag, den 12.12.2019, 10:04 +0100 schrieb Spiwack, Arnaud:
> Apologies if this message wasn't useful (it probably wasn't). I'll probably stay a neutral party for the rest of this process.

I find it very useful. Especially as it reminds us that there is more
to the proposal than the question about what a space left of the .
means (which seems to suck in all the attention).

Cheers,
Joachim
--
Joachim Breitner
mail@joachim-breitner.de
http://www.joachim-breitner.de/

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee