[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