[ghc-steering-committee] Please review #259: No kind signatures on associated types Shepherd: Simon PJ

[Simon Peyton Jones]

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 at joachim-breitner.de>; ghc-steering-
| committee at 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 at haskell.org>
| |  On Behalf Of Joachim Breitner
| |  Sent: 05 September 2019 09:43
| |  To: ghc-steering-committee at 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 at joachim-breitner.de
| |    http://www.joachim-breitner.de/
| |
| |  _______________________________________________
| |  ghc-steering-committee mailing list
| |  ghc-steering-committee at haskell.org
| |
| | https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committ
| | ee