Re: [ghc-steering-committee] Proposal #274: Quicklook impredicativity, recommendation: accept

15 Jun 2020

      Dear all,

I don't know whether to take the lack of response as a good thing (as in:
it's so uncontroversial that nobody has anything to say about it). But I
believe it is time to accept this proposal.

Simon, Alejandro: I've made a couple of typo-level suggestions in the
proposal, have a look at them before we merge.

Joachim: I have marked the proposal as accepted, but I forgot the process
after that, again. Who is in charge of merging?

On Wed, Jun 10, 2020 at 11:33 AM Spiwack, Arnaud 
wrote:
...
Dear all,
If you want to voice an opinion on this proposal, don't forget to do so
before Friday night (12th June, anywhere on Earth). After that, I'll
consider silence as assent and accept the proposal.
Best,
Arnaud
On Thu, Jun 4, 2020 at 7:58 AM Spiwack, Arnaud 
wrote:
...
Dear all,
I didn't give ourselves a deadline on this one. Let me fix this: unless a
significant objection has arisen by 12th June, let us accept this proposal.
Best,
Arnaud