Friends Last call on this one: | | No kind signatures on associated types | | https://github.com/ghc-proposals/ghc-proposals/pull/259 I have only heard from Joachim Iavor Arnaud I would love to hear from more of you. But this particular proposal is a small delta, and if I don't hear any objections I'll declare it accepted on Weds 18 Dept. Simon | -----Original Message----- | From: Simon Peyton Jones | Sent: 06 September 2019 17:43 | To: Joachim Breitner <mail@joachim-breitner.de>; ghc-steering- | committee@haskell.org | Subject: RE: [ghc-steering-committee] Please review #259: No kind | signatures on associated types Shepherd: Simon PJ | | All, | | I'm the shepherd for | | | No kind signatures on associated types | | https://github.com/ghc-proposals/ghc-proposals/pull/259 | | I recommend acceptance. | | The proposal takes the form of an amendment to an earlier accepted | proposal | Standalone kind signatures | https://github.com/ghc-proposals/ghc- | proposals/blob/master/proposals/0054-kind-signatures.rst | | by prohibiting a standalone kind signature for the associated type of a | class. | | The reason for this narrowing is well described in the "Associated types" | subsection of the revised proposal. | | The first link above lets you see the baseline proposal, the diff, and the | new proposal. | | I recommend acceptance because | - the need for standalone signatures on | associated types is weaker (albeit not absent) | - allowing such a signature closes of one possible | future direction | | So making them illegal now keeps our options open for the future. | | Since standalone kind signatures are not yet released, there will be no | back-compat issues. | | Please express your opinion. I don't think this one is controversial. | | Simon | | | | -----Original Message----- | | From: ghc-steering-committee | | <ghc-steering-committee-bounces@haskell.org> | | On Behalf Of Joachim Breitner | | Sent: 05 September 2019 09:43 | | To: ghc-steering-committee@haskell.org | | Subject: [ghc-steering-committee] Please review #259: No kind | | signatures on associated types Shepherd: Simon PJ | | | | Dear Committee, | | | | this is your secretary speaking: | | | | No kind signatures on associated types has been proposed by Richard | | https://github.com/ghc-proposals/ghc-proposals/pull/259 | | | | I propose Simon PJ as the shepherd, this seems to be a smaller fix of | | an existing proposal and Simon has already looked at it. | | | | 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-committ | | ee