[ghc-steering-committee] #285: -XNoImplicitForAll, recommendation: accept
Joachim Breitner
mail at joachim-breitner.de
Mon May 4 12:57:55 UTC 2020
Hi,
great, merged.
Cheers,
Joachim
Am Montag, den 04.05.2020, 11:31 +0000 schrieb Simon Peyton Jones via
ghc-steering-committee:
> I think it's good to go.
>
> Simon
>
> > -----Original Message-----
> > From: ghc-steering-committee <ghc-steering-committee-bounces at haskell.org>
> > On Behalf Of Joachim Breitner
> > Sent: 03 May 2020 12:22
> > To: ghc-steering-committee at haskell.org
> > Subject: Re: [ghc-steering-committee] #285: -XNoImplicitForAll,
> > recommendation: accept
> >
> > Hi,
> >
> >
> > Am Montag, den 20.01.2020, 08:37 +0000 schrieb Simon Marlow:
> > > Proposal #285 is currently under consideration:
> > > https://github.com/ghc-proposals/ghc-proposals/pull/285
> > >
> > > I previously recommended acceptance, and there was some followup
> > > discussion on the GitHub thread where Simon PJ and Arnaud requested
> > > changes. The changes, namely clarifications and more examples, have
> > > all been implemented and those that requested changes have signed
> > > off.
> > >
> > > I think we can accept the proposal now. Any final concerns?
> >
> > looks like this never happened, and Arnaud was the last to comment, and
> > said “if I'm alone in this, I'm not going to argue further.”.
> >
> > Simon M, if you tell me so, I’ll merge it as accepted.
> >
> > Cheers,
> > Joachim
> >
> > --
> > Joachim Breitner
> > mail at joachim-breitner.de
> > http://www.joachim-breitner.de/
> >
> >
> > _______________________________________________
> > ghc-steering-committee mailing list
> > ghc-steering-committee at haskell.org
> > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
--
Joachim Breitner
mail at joachim-breitner.de
http://www.joachim-breitner.de/
More information about the ghc-steering-committee
mailing list