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

[Adam Gundry]

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.rst

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