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

[Eric Seidel]

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