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

[Eric Seidel]

Hi all,

This seems like a sensible update to an accepted proposal.

I recommend we accept the amendment.

Eric

On Thu, Sep 19, 2024, at 19: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.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
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at 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 at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee