Re: [ghc-steering-committee] Please review #673: Amendment to -jsem proposal #540

Erik, My apologies! I got my eyes crossed 🙇 Best, Moritz On Fri, 20 Sept 2024 at 13:05, Erik de Castro Lopo wrote:

Moritz,

Eric Seidel was the shepherd for #540 which #673 (this one) amends.

Erik (with a 'k')

Moritz Angermann wrote:

...

Hi all,

I believe Erik meant to recommend acceptance of this proposal.

I too support this change.

Best, Moritz

On Fri, 20 Sept 2024 at 09:00, Erik de Castro Lopo wrote:

...

Hi all,

This is minor updates to correct an existing approved proposal.

I approve of these changes.

Erik

Adam Gundry wrote:

...

Dear Committee,

Zubin Duggal proposes to amend proposal #540, which introduced the -jsem parallelism control mechanism, so that it can avoid incompatibilities arising from different system C library implementations:

https://github.com/ghc-proposals/ghc-proposals/pull/673

https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rs...

...

...

I'd like to nominate Eric Seidel as the shepherd, since he was the shepherd of the original proposal.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/

Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org

https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org

https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

...

-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee