[ghc-steering-committee] Please review #281: Visible 'forall' in types of terms

[Richard Eisenberg]

I'm in support of this proposal, but I've pushed back on a few softer points. I've commented on GitHub.

Richard

> On Oct 1, 2020, at 1:07 PM, Iavor Diatchki <iavor.diatchki at gmail.com> wrote:
> 
> Hello,
> 
> Proposal #281 is ready for review by the committee.   My recommendation is to accept it,  I've
> written a summary of my understanding to the proposal and my recommendation on the GitHub
> thread, accessible through these links:
> 
> https://github.com/ghc-proposals/ghc-proposals/pull/281 <https://github.com/ghc-proposals/ghc-proposals/pull/281>
> https://github.com/int-index/ghc-proposals/blob/visible-forall/proposals/0000-visible-forall.rst <https://github.com/int-index/ghc-proposals/blob/visible-forall/proposals/0000-visible-forall.rst>
> 
> Let the discussion begin!
> 
> -Iavor
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201002/6daa6af0/attachment.html>