<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Everyone is in favour -- I declare this proposal accepted</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Adam, could you merge, once Trevis says he has done any remaining changes?</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">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 class="gmail_default" style="font-family:tahoma,sans-serif">Dear GHC Steering Committee</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" 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 class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">It proposes that that we classify extensions into four categories: <br></div><div class="gmail_default" 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 class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div></div>
</blockquote></div>