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.

-Iavor

On Fri, Feb 23, 2018 at 7:22 AM Joachim Breitner <mail@joachim-breitner.de> wrote:
Hi,

Am Freitag, den 23.02.2018, 16:15 +0100 schrieb Spiwack, Arnaud:
> To be fair, I said "could".

that’s fair :-)

> And the idea is that a proposal contains a lot beyond what the manual
> will. The entire specification section must make it to the manual.
> However, the motivations will usually be much shortened, and the
> alternatives will typically not be in a manual at all. A proposal
> also has a link to the github discussion which can give really
> insightful historical perspectives on a feature. So giving a link to
> the proposal could help someone who, for instance, is considering
> contributing an extension to a given feature. It's not something that
> should be prominent. But can feature in a "further reading" section,
> together with the relevant scientific articles.

True.


How about this: Out-of-scope proposals of value should be moved to the
GHC Wiki, where we already store design documents for future benefit.

Linking to them from the manual _for additional information that normal
users do not need_ is encouraged (again, this is something we already
do).


> I would personally go for closing after a while. Certainly with the friendly message!

I just did another round of nudges. I guess I will close when the
author does not respond to the nudges.

Cheers,
Joachim

--
Joachim Breitner
  mail@joachim-breitner.de
  http://www.joachim-breitner.de/
_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee