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

[Erik de Castro Lopo]

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 <erikd at mega-nerd.com>
> 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
> >


-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/