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

[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