Please review #592: Scoped kind variables in standalone kind signatures

older
Proposal #612: Change semantics of...

Adam Gundry

8 Feb 2024 8 Feb '24

4:15 p.m.

Dear Committee, Vlad proposes to amend StandaloneKindSignatures to support scoped kind variables: https://github.com/ghc-proposals/ghc-proposals/pull/592 https://github.com/int-index/ghc-proposals/blob/scoped-saks/proposals/0054-k... I'd like to nominate Eric as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Adam -- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England

Show replies by date

Eric Seidel

9 Feb 9 Feb

10:09 p.m.

New subject: Proposal #592: Scoped kind variables in standalone kind signatures (recommend accept)

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...

Simon Peyton Jones

12 Feb 12 Feb

5:38 p.m.

New subject: Proposal #592: Scoped kind variables in standalone kind signatures (recommend accept)

I support this too. Simon On Sat, 10 Feb 2024 at 03:10, Eric Seidel 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-k... _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

Arnaud Spiwack

13 Feb 13 Feb

11:38 a.m.

New subject: Proposal #592: Scoped kind variables in standalone kind signatures (recommend accept)

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@gmail.com> wrote:

...

I support this too.

Simon

On Sat, 10 Feb 2024 at 03:10, Eric Seidel 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-k... _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@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.

Richard Eisenberg

14 Feb 14 Feb

4:33 p.m.

New subject: Proposal #592: Scoped kind variables in standalone kind signatures (recommend accept)

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 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@gmail.com> wrote:

...
I support this too.

Simon

On Sat, 10 Feb 2024 at 03:10, Eric Seidel 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-k... _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

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

Eric Seidel

19 Feb 19 Feb

4:36 p.m.

New subject: Proposal #592: Scoped kind variables in standalone kind signatures (recommend accept)

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 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 wrote:

...
I support this too.

Simon

On Sat, 10 Feb 2024 at 03:10, Eric Seidel 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-k... _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

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

ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

Moritz Angermann

21 Feb 21 Feb

4:44 a.m.

New subject: Proposal #592: Scoped kind variables in standalone kind signatures (recommend accept)

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.

...

From the associated discussion on the ticket, I'm pleased to see that breakage has been taken into consideration.

+1 from me. On Tue, 20 Feb 2024 at 05:37, Eric Seidel 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.

...
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 wrote:

...
I haven't taken time to check that the specification that Vlad wrote is

On Wed, Feb 14, 2024, at 15:33, Richard Eisenberg wrote: 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@gmail.com> wrote:

...
...
I support this too.

Simon

On Sat, 10 Feb 2024 at 03:10, Eric Seidel 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-k...

...
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org

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

https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

Adam Gundry

23 Feb 23 Feb

4:25 p.m.

New subject: Proposal #592: Scoped kind variables in standalone kind signatures (recommend accept)

I'm happy with acceptance. Adam On 19/02/2024 21:36, Eric Seidel 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 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 wrote:

...
I support this too.

Simon

On Sat, 10 Feb 2024 at 03:10, Eric Seidel 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-k... _______________________________________________

-- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England

Chris Dornan

25 Feb 25 Feb

5:50 a.m.

New subject: Proposal #592: Scoped kind variables in standalone kind signatures (recommend accept)

+1 from me

...

On 19 Feb 2024, at 21:36, Eric Seidel 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 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 wrote:

...
I support this too.

Simon

On Sat, 10 Feb 2024 at 03:10, Eric Seidel 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-k... _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

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

ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

Eric Seidel

4:41 p.m.

New subject: Proposal #592: Scoped kind variables in standalone kind signatures (recommend accept)

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 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 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 wrote:

...
I support this too.

Simon

On Sat, 10 Feb 2024 at 03:10, Eric Seidel 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-k... _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

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

ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

450

Age (days ago)

467

Last active (days ago)

List overview

Download

9 comments

7 participants

participants (7)

Adam Gundry
Arnaud Spiwack
Chris Dornan
Eric Seidel
Moritz Angermann
Richard Eisenberg
Simon Peyton Jones

Please review #592: Scoped kind variables in standalone kind signatures

tags

participants (7)