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

[Simon Peyton Jones]

I support this.

Simon

On Fri, 25 Aug 2023 at 15:39, Joachim Breitner <mail at joachim-breitner.de>
wrote:

> Dear committee,
>
> Vladislav Zavialov in
> 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
>   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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20230825/7ba2afe4/attachment.html>