Please review #258: TopLevelKindSignatures -> StandaloneKindSignatures , Shepherd: Chris
Dear Committee, this is your secretary speaking: TopLevelKindSignatures -> StandaloneKindSignatures has been proposed by Krzysztof Gogolewski https://github.com/ghc-proposals/ghc-proposals/pull/258 I propose Chris as the shepherd. Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process In particular, talk to the authors before, if you think this should be rejected, and kick off the discussion on Github, following the steps described under “Now the shepherd proposes to accept or reject the proposal” in the above link. Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
Hi all, It's been two weeks since this was given to the committee. We haven't heard anything from Chris, but it's a tiny change and everyone is already in support. Let's just merge it and save the bureaucracy for proposals with real consequences behind them. Best, Sandy On Tue, Aug 20, 2019 at 7:43 AM Joachim Breitner <mail@joachim-breitner.de> wrote:
Dear Committee,
this is your secretary speaking:
TopLevelKindSignatures -> StandaloneKindSignatures has been proposed by Krzysztof Gogolewski https://github.com/ghc-proposals/ghc-proposals/pull/258
I propose Chris as the shepherd.
Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process In particular, talk to the authors before, if you think this should be rejected, and kick off the discussion on Github, following the steps described under “Now the shepherd proposes to accept or reject the proposal” in the above link.
Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
-- I'm currently traveling the world, sleeping on people's couches and doing full-time collaboration on Haskell projects. If this seems interesting to you, please consider signing up as a host! https://isovector.github.io/erdos/
Yes I think that’s the right step here. Simon From: ghc-steering-committee <ghc-steering-committee-bounces@haskell.org> On Behalf Of Sandy Maguire Sent: 04 September 2019 07:00 To: Joachim Breitner <mail@joachim-breitner.de> Cc: ghc-steering-committee@haskell.org Subject: Re: [ghc-steering-committee] Please review #258: TopLevelKindSignatures -> StandaloneKindSignatures , Shepherd: Chris Hi all, It's been two weeks since this was given to the committee. We haven't heard anything from Chris, but it's a tiny change and everyone is already in support. Let's just merge it and save the bureaucracy for proposals with real consequences behind them. Best, Sandy On Tue, Aug 20, 2019 at 7:43 AM Joachim Breitner <mail@joachim-breitner.de<mailto:mail@joachim-breitner.de>> wrote: Dear Committee, this is your secretary speaking: TopLevelKindSignatures -> StandaloneKindSignatures has been proposed by Krzysztof Gogolewski https://github.com/ghc-proposals/ghc-proposals/pull/258 I propose Chris as the shepherd. Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process In particular, talk to the authors before, if you think this should be rejected, and kick off the discussion on Github, following the steps described under “Now the shepherd proposes to accept or reject the proposal” in the above link. Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de<mailto:mail@joachim-breitner.de> http://www.joachim-breitner.de/ _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org<mailto:ghc-steering-committee@haskell.org> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee -- I'm currently traveling the world, sleeping on people's couches and doing full-time collaboration on Haskell projects. If this seems interesting to you, please consider signing up as a host! https://isovector.github.io/erdos/
I agree as well.
On Sep 4, 2019, at 8:30 AM, Simon Peyton Jones via ghc-steering-committee <ghc-steering-committee@haskell.org> wrote:
Yes I think that’s the right step here.
Simon
From: ghc-steering-committee <ghc-steering-committee-bounces@haskell.org> On Behalf Of Sandy Maguire Sent: 04 September 2019 07:00 To: Joachim Breitner <mail@joachim-breitner.de> Cc: ghc-steering-committee@haskell.org Subject: Re: [ghc-steering-committee] Please review #258: TopLevelKindSignatures -> StandaloneKindSignatures , Shepherd: Chris
Hi all,
It's been two weeks since this was given to the committee. We haven't heard anything from Chris, but it's a tiny change and everyone is already in support. Let's just merge it and save the bureaucracy for proposals with real consequences behind them.
Best,
Sandy
On Tue, Aug 20, 2019 at 7:43 AM Joachim Breitner <mail@joachim-breitner.de <mailto:mail@joachim-breitner.de>> wrote:
Dear Committee,
this is your secretary speaking:
TopLevelKindSignatures -> StandaloneKindSignatures has been proposed by Krzysztof Gogolewski https://github.com/ghc-proposals/ghc-proposals/pull/258 <https://github.com/ghc-proposals/ghc-proposals/pull/258>
I propose Chris as the shepherd.
Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process <https://github.com/ghc-proposals/ghc-proposals#committee-process> In particular, talk to the authors before, if you think this should be rejected, and kick off the discussion on Github, following the steps described under “Now the shepherd proposes to accept or reject the proposal” in the above link.
Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de <mailto:mail@joachim-breitner.de> http://www.joachim-breitner.de/ <http://www.joachim-breitner.de/>
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org <mailto:ghc-steering-committee@haskell.org> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee <https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee>
--
I'm currently traveling the world, sleeping on people's couches and doing full-time collaboration on Haskell projects. If this seems interesting to you, please consider signing up as a host! https://isovector.github.io/erdos/ <https://isovector.github.io/erdos/>_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
Hi, Am Dienstag, den 03.09.2019, 22:59 -0700 schrieb Sandy Maguire:
Let's just merge it and save the bureaucracy for proposals with real consequences behind them.
done. Should have realized that alrady when it was proposed, but wasn’t paying close attention. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
participants (4)
-
Joachim Breitner -
Richard Eisenberg -
Sandy Maguire -
Simon Peyton Jones