[ghc-steering-committee] Please review #518: Type vs Constraint proposal, Shepherd: Eric

[Joachim Breitner]

Done!

Am Dienstag, dem 27.09.2022 um 21:10 -0400 schrieb Eric Seidel:
> Thanks Richard!
> 
> Joachim, I think we're good to merge now!
> 
> On Tue, Sep 27, 2022, at 16:42, Richard Eisenberg wrote:
> > Yes, I'm fine here -- would still love to have this worked out, but I 
> > don't want to hold things up further.
> > 
> > Richard
> > 
> > > On Sep 17, 2022, at 11:33 AM, Eric Seidel <eric at seidel.io> wrote:
> > > 
> > > Richard, are you ok with this position? I think you were the only one with a lingering concern about the proposal.
> > > 
> > > On Mon, Sep 12, 2022, at 11:32, Joachim Breitner wrote:
> > > > Hi,
> > > > 
> > > > Am Montag, dem 12.09.2022 um 09:05 -0400 schrieb Eric Seidel:
> > > > > My view remains that the exact mechanism of public/internal
> > > > > separation does not need to be fleshed out in order to accept this
> > > > > proposal. It can be hashed out in parallel with the implementation.
> > > > 
> > > > I agree with that – the concerns are nicely separated this way.
> > > > 
> > > > 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/