This seems like a clear step forward, and I think we should accept. I read the lively discussion <https://github.com/ghc-proposals/ghc-proposals/pull/83#issuecomment-337685679>, and my only minor concern is that "StarIsType" wastes extension namespace on the wart that is "*". That's ok though because in time that extension could itself be deprecated. -Ryan On Mon, Dec 18, 2017 at 9:53 PM, Joachim Breitner <mail@joachim-breitner.de> wrote:
Dear Committee,
this is your secretary speaking:
Richards proposes to merge -XTypeInType into -XPolyKinds and -XDataKinds https://github.com/ghc-proposals/ghc-proposals/pull/83
I propose Yavor Diatchki as the Shepherd.
Yavor, please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process
I suggest you make a recommendation about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you.
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