[ghc-steering-committee] a plea for PolyKinds

[Iavor Diatchki]

Oh?  Perhaps I am confused, if we can have PolyKinds without TypeInType,
I'd be happy to change my vote.  My understanding was that basically
`TypeInType` got renamed to  `PolyKinds` but I might be confused.

-Iavor

On Thu, Dec 3, 2020 at 11:50 AM Alejandro Serrano Mena <trupill at gmail.com>
wrote:

> But PolyKinds does not require TypeInType, according to the docs [
> https://downloads.haskell.org/ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-PolyKinds]
> it is in fact the other way around: TypeInType implies PolyKinds. Of
> course, the fact that kinds and types are unified may leak somehow, but I
> have a hard time figuring out an example of such.
>
> El jue, 3 dic 2020 a las 18:51, Iavor Diatchki (<iavor.diatchki at gmail.com>)
> escribió:
>
>> I would totally support that if PolyKinds was implemented without
>> requiring TypeInType, but with the current design for me this is a solid
>> `no`.
>>
>>
>> On Thu, Dec 3, 2020 at 9:48 AM Joachim Breitner <mail at joachim-breitner.de>
>> wrote:
>>
>>> Hi,
>>>
>>> Am Donnerstag, den 03.12.2020, 16:40 +0000 schrieb Richard Eisenberg:
>>> > Vote for PolyKinds!
>>>
>>> convinced.
>>>
>>> Cheers,
>>> 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
>>>
>> _______________________________________________
>> 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/20201203/a96498fe/attachment-0001.html>