[ghc-steering-committee] #605: visible forall to work without ScopedTypeVariables, rec: accept

[Richard Eisenberg]

Yes -- I'm in support.

> On Aug 25, 2023, at 12:12 PM, Simon Peyton Jones <simon.peytonjones at gmail.com> wrote:
> 
> I support this.
> 
> Simon
> 
> On Fri, 25 Aug 2023 at 15:39, Joachim Breitner <mail at joachim-breitner.de <mailto:mail at joachim-breitner.de>> wrote:
> Dear committee,
> 
> Vladislav Zavialov in
> https://github.com/ghc-proposals/ghc-proposals/pull/605 <https://github.com/ghc-proposals/ghc-proposals/pull/605>
> proposes a small fix to #281, namely that for
> 
>    f :: forall x -> Show x => x -> String
>    f (type t) = show @t
> 
> to work, ExplicitNamespaces and RequiredTypeArguments is sufficient,
> and we should not also require ScopedTypeVariables, which we are moving
> away from.
> 
> I’ll shepherd this myself, and I suggest acceptance.
> 
> 
> Cheers,
> Joachim
> 
> 
> 
> 
> 
> -- 
> Joachim Breitner
>   mail at joachim-breitner.de <mailto:mail at joachim-breitner.de>
>   http://www.joachim-breitner.de/ <http://www.joachim-breitner.de/>
> 
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org <mailto:ghc-steering-committee at haskell.org>
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee <https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee>
> _______________________________________________
> 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/20230825/8c86e221/attachment.html>