[ghc-steering-committee] Proposal #592: Scoped kind variables in standalone kind signatures (recommend accept)

[Simon Peyton Jones]

I support this too.

Simon

On Sat, 10 Feb 2024 at 03:10, Eric Seidel <eric at seidel.io> wrote:

> 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-kind-signatures.rst#proposed-change-specification
> _______________________________________________
> 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/20240212/b614884e/attachment.html>