On Aug 25, 2023, at 12:12 PM, Simon Peyton Jones <simon.peytonjones@gmail.com> wrote:

I support this.

Simon

On Fri, 25 Aug 2023 at 15:39, Joachim Breitner <mail@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@joachim-breitner.de
  http://www.joachim-breitner.de/

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee