<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">I'm happy to support too, but I would like to see presentational changes, so the final proposal makes sense when read in 5 yrs time.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 21 Sept 2024 at 20:45, Malte Ott <<a href="mailto:malte.ott@maralorn.de">malte.ott@maralorn.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I agree.<br>
<br>
On 2024-09-21 09:16, Eric Seidel wrote:<br>
> Hi all,<br>
> <br>
> This seems like a sensible update to an accepted proposal.<br>
> <br>
> I recommend we accept the amendment.<br>
> <br>
> Eric<br>
> <br>
> On Thu, Sep 19, 2024, at 19:00, Erik de Castro Lopo wrote:<br>
> > Hi all,<br>
> ><br>
> > This is minor updates to correct an existing approved proposal.<br>
> ><br>
> > I approve of these changes.<br>
> ><br>
> > Erik<br>
> ><br>
> > Adam Gundry wrote:<br>
> ><br>
> >> Dear Committee,<br>
> >> <br>
> >> Zubin Duggal proposes to amend proposal #540, which introduced the -jsem <br>
> >> parallelism control mechanism, so that it can avoid incompatibilities <br>
> >> arising from different system C library implementations:<br>
> >> <br>
> >> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/673" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/673</a><br>
> >> <br>
> >> <a href="https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst" rel="noreferrer" target="_blank">https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst</a><br>
> >> <br>
> >> I'd like to nominate Eric Seidel as the shepherd, since he was the <br>
> >> shepherd of the original proposal.<br>
> >> <br>
> >> Please guide us to a conclusion as outlined in<br>
> >> <a href="https://github.com/ghc-proposals/ghc-proposals#committee-process" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals#committee-process</a><br>
> >> <br>
> >> Cheers,<br>
> >> <br>
> >> Adam<br>
> >> <br>
> >> <br>
> >> -- <br>
> >> Adam Gundry, Haskell Consultant<br>
> >> Well-Typed LLP, <a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a><br>
> >> <br>
> >> Registered in England & Wales, OC335890<br>
> >> 27 Old Gloucester Street, London WC1N 3AX, England<br>
> >> _______________________________________________<br>
> >> ghc-steering-committee mailing list<br>
> >> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> >> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
> ><br>
> ><br>
> > -- <br>
> > ----------------------------------------------------------------------<br>
> > Erik de Castro Lopo<br>
> > <a href="http://www.mega-nerd.com/" rel="noreferrer" target="_blank">http://www.mega-nerd.com/</a><br>
> > _______________________________________________<br>
> > ghc-steering-committee mailing list<br>
> > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> > <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>