I have suggested a few more wording improvements. Simon On Mon, 24 Jul 2023 at 14:35, Joachim Breitner wrote:

Hi,

Am Montag, dem 17.07.2023 um 10:58 +0100 schrieb Simon Peyton Jones:

...

I have made some clarifying suggestions but I'm broadly supportive.

so far only Simon and Arnaud have commented.

Arnaud: could John address your remarks?

Simon: John responded to your clarifying suggestions with “suggested edits” in the PR comments, and seems to be waiting for a 👍 from you.

I plan to merge once Arnaud and Simon indicate that they are happy.

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

Hi, merged! Cheers and thanks, Joachim Am Montag, dem 31.07.2023 um 10:21 +0200 schrieb Arnaud Spiwack:

As I've said on the Github thread, now that I understand what the proposal is proposing, I support acceptance. I agree that it's a better path than what had been previously proposed.

On Tue, 25 Jul 2023 at 23:47, Simon Peyton Jones wrote:

...

I have suggested a few more wording improvements.

Simon

On Mon, 24 Jul 2023 at 14:35, Joachim Breitner wrote:

...

Hi,

Am Montag, dem 17.07.2023 um 10:58 +0100 schrieb Simon Peyton Jones:

...

I have made some clarifying suggestions but I'm broadly supportive.

so far only Simon and Arnaud have commented.

Arnaud: could John address your remarks?

Simon: John responded to your clarifying suggestions with “suggested edits” in the PR comments, and seems to be waiting for a 👍 from you.

I plan to merge once Arnaud and Simon indicate that they are happy.

Cheers, Joachim

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

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