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

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 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@joachim-breitner.de http://www.joachim-breitner.de/

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

---

ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/