<div dir="ltr">I agree that we should be more aggressive with clearing out proposals.  Here is a suggestion:  specify in the process, that after some period of discussion proposals should either be sumbitted to the committee, or closed.<div><br></div><div>-Iavor</div></div><br><div class="gmail_quote"><div dir="ltr">On Fri, Feb 23, 2018 at 7:22 AM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
Am Freitag, den 23.02.2018, 16:15 +0100 schrieb Spiwack, Arnaud:<br>
> To be fair, I said "could".<br>
<br>
that’s fair :-)<br>
<br>
> And the idea is that a proposal contains a lot beyond what the manual<br>
> will. The entire specification section must make it to the manual.<br>
> However, the motivations will usually be much shortened, and the<br>
> alternatives will typically not be in a manual at all. A proposal<br>
> also has a link to the github discussion which can give really<br>
> insightful historical perspectives on a feature. So giving a link to<br>
> the proposal could help someone who, for instance, is considering<br>
> contributing an extension to a given feature. It's not something that<br>
> should be prominent. But can feature in a "further reading" section,<br>
> together with the relevant scientific articles.<br>
<br>
True.<br>
<br>
<br>
How about this: Out-of-scope proposals of value should be moved to the<br>
GHC Wiki, where we already store design documents for future benefit.<br>
<br>
Linking to them from the manual _for additional information that normal<br>
users do not need_ is encouraged (again, this is something we already<br>
do).<br>
<br>
<br>
> I would personally go for closing after a while. Certainly with the friendly message!<br>
<br>
I just did another round of nudges. I guess I will close when the<br>
author does not respond to the nudges.<br>
<br>
Cheers,<br>
Joachim<br>
<br>
--<br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</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>