I support this too.
Simon
On Sat, 10 Feb 2024 at 03:10, Eric Seidel
Dear Committee,
Vlad has found what looks like a clear gap in the interaction between two extensions: -XStandaloneKindSignatures and -XExtendedForAllScope.
I think it's quite obvious that under -XExtendedForAllScope the forall in a standalone kind signature should behave like the forall in a standalone type signature, i.e. it should scope over the definition as well.
I recommend accepting this amendment to StandaloneKindSignatures.
Eric
https://github.com/ghc-proposals/ghc-proposals/pull/592
https://github.com/int-index/ghc-proposals/blob/scoped-saks/proposals/0054-k... _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee