<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">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">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>