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

[Spiwack, Arnaud]

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 <arnaud.spiwack at tweag.io>
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 <arnaud.spiwack at tweag.io>
> 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
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20200615/0e6715e9/attachment.html>