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

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/