[ghc-steering-committee] #604: do not let -XScopedTypeVariables imply -XTypeAbstractions, rec: accept

Joachim Breitner mail at joachim-breitner.de
Wed Aug 2 20:48:48 UTC 2023


Hi,

merged!

Cheers and thanks,
Joachim

Am Montag, dem 31.07.2023 um 10:21 +0200 schrieb Arnaud Spiwack:
> As I've said on the Github thread, now that I understand what the
> proposal is proposing, I support acceptance. I agree that it's a
> better path than what had been previously proposed. 
> 
> On Tue, 25 Jul 2023 at 23:47, Simon Peyton Jones
> <simon.peytonjones at gmail.com> wrote:
> > I have suggested a few more wording improvements.
> > 
> > Simon
> > 
> > On Mon, 24 Jul 2023 at 14:35, Joachim Breitner
> > <mail at joachim-breitner.de> wrote:
> > > Hi,
> > > 
> > > Am Montag, dem 17.07.2023 um 10:58 +0100 schrieb Simon Peyton
> > > Jones:
> > > > I have made some clarifying suggestions but I'm broadly
> > > > supportive.
> > > 
> > > so far only Simon and Arnaud have commented.
> > > 
> > > Arnaud: could John address your remarks?
> > > 
> > > Simon: John responded to your clarifying suggestions with
> > > “suggested
> > > edits” in the PR comments, and seems to be waiting for a 👍 from
> > > you.
> > > 
> > > 
> > > I plan to merge once Arnaud and Simon indicate that they are
> > > happy.
> > > 
> > > Cheers,
> > > Joachim
> > > 
> > > 
> > > _______________________________________________
> > > 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