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

[Eric Seidel]

Thanks all for your comments, I have accepted the proposal.

On Sun, Feb 25, 2024, at 03:50, Chris Dornan wrote:
> +1 from me
>
>> On 19 Feb 2024, at 21:36, Eric Seidel <eric at seidel.io> wrote:
>> 
>> All, I've only heard from SimonPJ, Arnaud, and Richard. Please voice your assent or dissent. Otherwise I will take silence as assent and accept the proposal this weekend.
>> 
>> On Wed, Feb 14, 2024, at 15:33, Richard Eisenberg wrote:
>>> Yes, looks good to me. This is a natural part of -XExtendedForAllScope. 
>>> Which, though I dislike, seems to be around for good (and admittedly is 
>>> quite convenient).
>>> 
>>> On Tue, Feb 13, 2024 at 11:39 AM Arnaud Spiwack <arnaud.spiwack at tweag.io> wrote:
>>>> 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.
>>>> _______________________________________________
>>>> 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
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee