[ghc-steering-committee] Please review: embrace Type::Type, Shepherd: Iavor

[Ryan Newton]

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 at 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 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-committee
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180210/1c686f9a/attachment.html>