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

[Arnaud Spiwack]

I haven't taken time to check that the specification that Vlad wrote is the
same as that of -XExtendedForAllScope for type signatures and function
definitions. But I trust that Vlad did his homework.

This makes perfect sense to me, though I'm not sure this is worth spending
time on, considering that we seem to be going in the direction to deprecate
-XExtendedForAllScope.

On Mon, 12 Feb 2024 at 23:39, Simon Peyton Jones <
simon.peytonjones at gmail.com> wrote:

> 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
>>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>


-- 
Arnaud Spiwack
Director, Research at https://moduscreate.com and https://tweag.io.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240213/f433eb60/attachment.html>