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

[Richard Eisenberg]

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