<div dir="ltr">I must admit this is a bit outside of my usual realm of Haskell. I trust the more knowledgeable members of this group to have a more informed view on this than I do.<div>From the associated discussion on the ticket, I'm pleased to see that breakage has been taken into consideration.</div><div><br></div><div>+1 from me.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 20 Feb 2024 at 05:37, Eric Seidel <<a href="mailto:eric@seidel.io">eric@seidel.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">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.<br>
<br>
On Wed, Feb 14, 2024, at 15:33, Richard Eisenberg wrote:<br>
> Yes, looks good to me. This is a natural part of -XExtendedForAllScope. <br>
> Which, though I dislike, seems to be around for good (and admittedly is <br>
> quite convenient).<br>
><br>
> On Tue, Feb 13, 2024 at 11:39 AM Arnaud Spiwack <<a href="mailto:arnaud.spiwack@tweag.io" target="_blank">arnaud.spiwack@tweag.io</a>> wrote:<br>
>> 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.<br>
>> <br>
>> 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.<br>
>> <br>
>> On Mon, 12 Feb 2024 at 23:39, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a>> wrote:<br>
>>> I support this too.<br>
>>> <br>
>>> Simon<br>
>>> <br>
>>> On Sat, 10 Feb 2024 at 03:10, Eric Seidel <<a href="mailto:eric@seidel.io" target="_blank">eric@seidel.io</a>> wrote:<br>
>>>> Dear Committee,<br>
>>>> <br>
>>>> Vlad has found what looks like a clear gap in the interaction between<br>
>>>> two extensions: -XStandaloneKindSignatures and -XExtendedForAllScope.<br>
>>>> <br>
>>>> I think it's quite obvious that under -XExtendedForAllScope the forall<br>
>>>> in a standalone kind signature should behave like the forall in a<br>
>>>> standalone type signature, i.e. it should scope over the definition<br>
>>>> as well.<br>
>>>> <br>
>>>> I recommend accepting this amendment to StandaloneKindSignatures.<br>
>>>> <br>
>>>> Eric<br>
>>>> <br>
>>>> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/592" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/592</a><br>
>>>> <a href="https://github.com/int-index/ghc-proposals/blob/scoped-saks/proposals/0054-kind-signatures.rst#proposed-change-specification" rel="noreferrer" target="_blank">https://github.com/int-index/ghc-proposals/blob/scoped-saks/proposals/0054-kind-signatures.rst#proposed-change-specification</a><br>
>>>> _______________________________________________<br>
>>>> ghc-steering-committee mailing list<br>
>>>> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>>>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
>>> _______________________________________________<br>
>>> ghc-steering-committee mailing list<br>
>>> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
>> <br>
>> <br>
>> -- <br>
>> Arnaud Spiwack<br>
>> Director, Research at <a href="https://moduscreate.com" rel="noreferrer" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</a>.<br>
>> _______________________________________________<br>
>> ghc-steering-committee mailing list<br>
>> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>