<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Dear Simon, Sebastian, Chris, Erik</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">I don't think you have responded to my email below, not updated the <a href="https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing">spreadsheet</a>.  Any particular reason?  I don't want to accept the proposal if there are any strenuous objections.<br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">In the case of Erik and Sebastian it's possible that you have not been added correctly to the GHC Steering Committee mailing list, so I'm including your email addresses in the to: field</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Thanks</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 Thu, 16 May 2024 at 09:27, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</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"><div dir="ltr"><div style="font-family:tahoma,sans-serif">Dear GHC Steering Committee</div><div style="font-family:tahoma,sans-serif"><br></div><div style="font-family:tahoma,sans-serif">Trevis Elser has submitted <a href="https://github.com/ghc-proposals/ghc-proposals/pull/601" target="_blank">GHC Proposal #601 </a>to us for consideration.  (It was originally drafted by David Christiansen, but Trevis took it over.)</div><div style="font-family:tahoma,sans-serif"><br></div><div style="font-family:tahoma,sans-serif">It proposes that that we classify extensions into four categories: <br></div><div style="font-family:tahoma,sans-serif"><ul><li>Stable</li><li>Experimental</li><li>Deprecated</li><li>Legacy</li></ul><div>It does not say which extensions are in which category (that's #635, still to come); it simply establishes the categories.</div><div><br></div><div><b>I strongly urge you to accept the proposal</b>. We have been using this language informally for years, and it's good to nail it down more precisely.</div><div><br></div><div>There is plenty of discussion on the PR, but it's all about the specifics (e.g. do we want both Deprecated and Legacy; answer, yes).  There seems to be a strong consensus around the principle.</div><div><br></div><div>I don't expect this to be controversial. Please (everyone) can you respond within a week, by <b>end of day on Thursday 23 May.   </b>Can you <br></div><div><ul><li>Reply by email</li><li>Update <a href="https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing" target="_blank">the spreadsheet </a>with your vote</li></ul><div>Thanks!</div><div><br></div><div>Simon<br></div></div></div><div style="font-family:tahoma,sans-serif"><br></div><div style="font-family:tahoma,sans-serif"><br></div></div>
</blockquote></div></div>